nekketsuuu/lambda2pi nekketsuuu/lambda2pi

  • Stars
    star
    6
  • Rank 2,526,054 (Top 51 %)
  • Language
    Go
  • License
    MIT License
  • Created almost 8 years ago
  • Updated over 5 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
nekketsuuu/lambda2pi
github

nekketsuuu

Reviews

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

Repository Details

λ → π

More Repositories

1

satysfi-matrix

Math matrix library for SATySFi
15
star
2

tapis

Termination analyzer of π-calculus processes by reduction to sequential programs
OCaml
6
star
3

SatysfiFilter

Pandoc filter to add compiled result of SATySFi
Haskell
5
star
4

cook-container

a toy container which uses overlayfs
Go
3
star
5

satysfi-my-soul

Website for SATySFi snippets
HTML
3
star
6

cook-container-tutorial

Go
2
star
7

haribote

C
1
star
8

ocaml_travis_ci

Travis CI benchmarks for OCaml
OCaml
1
star
9

opensiv3d-dockerfiles

Dockerfiles for OpenSiv3D
Shell
1
star
10

processing-practice

Processingを書く練習用です。
Processing
1
star
11

palette-generator

Palette generator for VoxelShop
Python
1
star