amutake/made-with-satysfi

Stars
1
Language
JavaScript
License
Creative Commons ...
Created about 5 years ago
Updated over 3 years ago

amutake/made-with-satysfi

amutake

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

List of documents made with SATySFi

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

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