2 results found Sort:

anoma
juvix anoma
57
477
gpl-3.0
24
A language for intent-centric and declarative decentralised applications
anoma arithmetic-circuits programming-language functional-programming privacy-preserving-technologies
Created 2017-09-04
1,702 commits to main branch, last one 2 days ago
breandan
galoisenne breandan
11
128
apache-2.0
7
🕸️ Graphs, finite fields and discrete dynamical systems in Kotlin
graph graphs kotlin parsing automata induction graph-theory finite-fields graph-grammars graph-matching linear-algebra adjacency-matrix graph-algorithms functional-graphs arithmetic-circuits finite-state-machine graph-transformation graph-visualizations
Created 2020-03-05
2,093 commits to master branch, last one a day ago