2 results found Sort:

anoma
juvix anoma
53
457
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,587 commits to main branch, last one 22 hours ago
breandan
galoisenne breandan
9
118
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
1,944 commits to master branch, last one 14 hours ago