2 results found Sort:

anoma
juvix anoma
53
464
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,631 commits to main branch, last one a day ago
breandan
galoisenne breandan
10
120
apache-2.0
8
🕸️ 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,984 commits to master branch, last one a day ago