• Stars
    star
    4
  • Rank 3,304,323 (Top 66 %)
  • Language Coq
  • Created over 10 years ago
  • Updated about 10 years ago

Reviews

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

Repository Details

Formalization of Aπ-calculus in Coq

More 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

docker-satysfi-demo

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

synchronizers

Synchronizer algorithms in Erlang
Erlang
3
star
9

crdts

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

psg-scheme

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

erlsub

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

playroom

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

spa-server

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

mini_dialyzer

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

shinchoquic

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

deco.zsh

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

satsukita-andon.com

satsukita-andon.com
Scala
1
star
18

homebrew-mathcomp

homebrew formula for mathematical components
Ruby
1
star
19

beam-printer

Pretty-printer for BEAM files
OCaml
1
star
20

prove-everywhere

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

made-with-satysfi

List of documents made with SATySFi
JavaScript
1
star
22

free-game-ex

free-gameの練習
Haskell
1
star
23

BoolServ

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

crates.io-reverse-dependencies

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

satysfi-event-source

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

imp

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