Discover @amutake Open Source projects

Shohei Yasutake (@amutake)

amutake

Stars
112
Global Rank 191,524 (Top 7 %)
Followers 83
Following 97
Registered almost 13 years ago
Most used languages

Haskell
25.9 %

OCaml
14.8 %

Shell
11.1 %

Coq 7.4 %

JavaScript
7.4 %

Erlang
7.4 %

Java
3.7 %

Makefile 3.7 %

Go
3.7 %

Ruby
3.7 %

Scala
3.7 %

Rust
3.7 %

Dockerfile
3.7 %
Location 🇯🇵 Japan
Country Total Rank 4,018
Country Ranking

Coq 8

OCaml
21

Erlang
42

Dockerfile
72

Haskell
78

Makefile 347

Scala
566

Shell
1,236

Rust
1,669

Go
2,607

Java
3,256

Ruby
3,546

JavaScript
6,162

actario

Verification Framework for Actor Systems on Coq

docker-satysfi

Docker images for SATySFi and Satyrographos

coq-extensible-effects

Extensible Effects in Coq

haskelltter

Twitter client on GHCi (inspired by ocamltter)

github-post-receive

A library to construct github post-receive servers.

haskell-relational-record-driver-oracle

[Obsolete] Oracle driver for haskell-relational-record

a-pi

Formalization of Aπ-calculus in Coq

docker-satysfi-demo

A demo of satysfi-docker and GitHub Actions

synchronizers

Synchronizer algorithms in Erlang

crdts

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

psg-scheme

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

erlsub

(ゴミ) Erlang version of MLsub

playroom

This is my playroom to get used to a variety of languages and libraries

spa-server

Simple static file server for single-page application

mini_dialyzer

(ゴミ) Dialyzer for mini-Erlang

shinchoquic

Toy QUIC implementation for 進捗大陸04

deco.zsh

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

satsukita-andon.com

satsukita-andon.com

homebrew-mathcomp

homebrew formula for mathematical components

beam-printer

Pretty-printer for BEAM files

prove-everywhere

Moved to https://github.com/prove-everywhere

made-with-satysfi

List of documents made with SATySFi

free-game-ex

free-gameの練習

BoolServ

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

crates.io-reverse-dependencies

A chrome extension to see reverse-dependencies in crate pages

satysfi-event-source

A simple synchronous event-source library for SATySFi

imp

A simple imperative language for learning/teaching Haskell