amutake/actario

Stars
29
Rank 860,307 (Top 17 %)
Language
OCaml
License
GNU Lesser Genera...
Created almost 10 years ago
Updated over 6 years ago

amutake/actario

amutake

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

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