matonix

maton's repositories

panepon

Language:HaskellMIT3 20

distributed-kvs-practice

Parallel and Concurrent Programming in Haskell, Sec14.8

Language:HaskellBSD-3-Clause2 20

pfds

Learning "Purely Functional Data Structures" in Japanese

Language:HaskellBSD-3-Clause2 2 16

tapl

Learning "Types and Programming Languages" in Japanese

Language:HaskellBSD-3-Clause2 2 5

drasphid

Language:Elm1 2 11

hsfiles

Convert *.hsfiles from/to actual directory structure using tar-like commands

Language:HaskellNOASSERTION100

ministep

Language:Haskell1 30

stack-templates

Language:Haskell100

antbook-rust

Language:Rust000

ag-bench

020

atcoder-haskell

Language:HaskellBSD-3-Clause02 12

atcoder-rust

Language:RustMIT01 1

atcoder-rust-base

A Cargo package template for AtCoder competitions / AtCoder競技向けのCargoパッケージテンプレート

Language:RustMIT000

bibmin

Language:Haskell020

blog

Official blog of Haskell-jp.

Language:JavaScriptNOASSERTION020

bms-parser

000

brick

A declarative Unix terminal UI programming library written in Haskell

Language:HaskellNOASSERTION010

dezero

ゼロから作るディープラーニング3のRust実装

Language:Rust02 3

dotfiles

Language:Shell02 1

dp-framework

Language:Haskell000

dvc.org

🔗DVC website and documentation source code

Language:JavaScriptApache-2.0020

exdesign

SATySFi's class file

Language:ShellLGPL-3.0010

hastodon

mastodon client module for Haskell

Language:HaskellMIT010

icfpcontest2018

Language:HaskellBSD-3-Clause000

iwesep2018.github.io

Language:HTML000

pomiziku

Language:JavaScript000

popn-difficulty-view

Language:Jupyter Notebook000

satyrographos

Naive package manager for SATySFi

Language:OCamlLGPL-3.0010

taggy-lens-sample

Language:HaskellBSD-3-Clause02 1

topprover

Language:Coq020