5
Repos
62
Stars
37
Forks
19
Watchers
π Show off this rank
Add it to a GitHub README or profile β the card updates as the ranking changes:
Repositories (5)
phino
objectionary/phino
Haskell
Command-Line Normalizer, Rewriter, and Dataizer of π-Calculus Expressions
19
17
news.eolang.org
objectionary/news.eolang.org
HTML
Our Official Blog: we write about the development of EOLANG and π-calculus
16
9
eo-book
objectionary/eo-book
TeX
Book about EO programming language
13
1
jucs
objectionary/jucs
Java
JUnit Classpath Sources: a simple framework for using classpath resources as JUnit sources
10
7
wpa
objectionary/wpa
Java
Whole Program Analysis (WPA) linters for EO code
4
3