Shohei Yasutake (@amutake)
github

amutake

Twitter logo Share LinkedIn logo Share Facebook logo Share

Top repositories

1

actario

Verification Framework for Actor Systems on Coq
OCaml
29
star
2

docker-satysfi

Docker images for SATySFi and Satyrographos
Dockerfile
25
star
3

coq-extensible-effects

Extensible Effects in Coq
Coq
8
star
4

haskelltter

Twitter client on GHCi (inspired by ocamltter)
Haskell
7
star
5

github-post-receive

A library to construct github post-receive servers.
Haskell
5
star
6

haskell-relational-record-driver-oracle

[Obsolete] Oracle driver for haskell-relational-record
Haskell
4
star
7

a-pi

Formalization of Aπ-calculus in Coq
Coq
4
star
8

docker-satysfi-demo

A demo of satysfi-docker and GitHub Actions
Shell
3
star
9

synchronizers

Synchronizer algorithms in Erlang
Erlang
3
star
10

crdts

An Erlang library for CRDTs (Conflict-free Replicated Data Types)
Erlang
2
star
11

psg-scheme

A Scheme interpreter written in Haskell (programming project for newcomers of PSG)
Haskell
2
star
12

erlsub

(ゴミ) Erlang version of MLsub
Makefile
2
star
13

playroom

This is my playroom to get used to a variety of languages and libraries
Haskell
2
star
14

mini_dialyzer

(ゴミ) Dialyzer for mini-Erlang
OCaml
2
star
15

spa-server

Simple static file server for single-page application
Go
2
star
16

shinchoquic

Toy QUIC implementation for 進捗大陸04
Rust
1
star
17

deco.zsh

deco: zsh function for text-decoration (foreground and background 256-colors, underline, blink, etc.)
Shell
1
star
18

satsukita-andon.com

satsukita-andon.com
Scala
1
star
19

homebrew-mathcomp

homebrew formula for mathematical components
Ruby
1
star
20

beam-printer

Pretty-printer for BEAM files
OCaml
1
star
21

prove-everywhere

Moved to https://github.com/prove-everywhere
Java
1
star
22

made-with-satysfi

List of documents made with SATySFi
JavaScript
1
star
23

free-game-ex

free-gameの練習
Haskell
1
star
24

BoolServ

技術書典3で頒布する進捗大陸02で作る分散システムのソースコード
OCaml
1
star
25

crates.io-reverse-dependencies

A chrome extension to see reverse-dependencies in crate pages
JavaScript
1
star
26

satysfi-event-source

A simple synchronous event-source library for SATySFi
Shell
1
star
27

imp

A simple imperative language for learning/teaching Haskell
Haskell
1
star