2 results found Sort:

anoma
juvix anoma
54
442
gpl-3.0
27
A language for intent-centric and declarative decentralised applications
anoma arithmetic-circuits programming-language functional-programming privacy-preserving-technologies
Created 2017-09-04
1,417 commits to main branch, last one 2 days ago
breandan
galoisenne breandan
8
111
apache-2.0
6
🕸️ 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
1,783 commits to master branch, last one 9 hours ago