Anoma

All

132 repositories

lean-risc0-init
Public
Lean4 Init library for RISC0
Lean
•
Apache License 2.0
•0•0•0•0•Updated Oct 29, 2025Oct 29, 2025
lean-risc0-runtime
Public
Lean4 runtime for RISC0
C++
•
Apache License 2.0
•0•0•0•0•Updated Oct 29, 2025Oct 29, 2025
arm-risc0
Public
Anoma Abstract Resource Machine Implementation using RISC Zero zkVM
Rust
•
Apache License 2.0
•6•11•15•13•Updated Oct 29, 2025Oct 29, 2025
goose-lean
Public
GOOSE in Lean4
Lean
•
ISC License
•4•9•2•2•Updated Oct 28, 2025Oct 28, 2025
geb
Public
A Categorical View of Computation
lisp common-lisp category-theory category idris2
Idris
•
GNU General Public License v3.0
•10•33•24•4•Updated Oct 28, 2025Oct 28, 2025
evm-protocol-adapter
Public
A protocol adapter contract written in Solidity enabling Anoma Resource Machine transaction settlement on EVM-compatible chains.
evm protocol-adapter anoma
Solidity
•
MIT License
•13•28•56•12•Updated Oct 28, 2025Oct 28, 2025
juvix-stdlib
Public
The Juvix standard library
library juvix
Makefile
•3•27•6•5•Updated Oct 27, 2025Oct 27, 2025
anoma-local-domain
Public
Local Domain for Anoma
Elixir
•0•4•0•8•Updated Oct 24, 2025Oct 24, 2025
ex_example
Public
Example Framework for Elixir
Elixir
•0•2•0•2•Updated Oct 23, 2025Oct 23, 2025
anoma
Public
Reference implementation of Anoma
distributed-systems cryptography erlang elixir protocol blockchain p2p consensus operating-system
Elixir
•
MIT License
•4.1k•34k•122•70•Updated Oct 22, 2025Oct 22, 2025
lean4
Public
Lean 4 programming language and theorem prover
Lean
•
Apache License 2.0
•690•0•0•0•Updated Oct 22, 2025Oct 22, 2025
counter-example
Public
Example Anoma application
Rust
•1•0•1•1•Updated Oct 20, 2025Oct 20, 2025
anoma-sdk
Public
The Anoma SDK for building your own Anoma applications
Elixir
•4•6•19•12•Updated Oct 20, 2025Oct 20, 2025
developer-docs
Public
test gitbook sync
JavaScript
•3•2•0•5•Updated Oct 20, 2025Oct 20, 2025
specs.anoma.net
Public
HTML
•0•0•0•0•Updated Oct 20, 2025Oct 20, 2025
nspec
Public
Anoma Spec
distributed-systems protocol specification blockchain-technology juvix anoma
HTML
•
GNU General Public License v3.0
•3•5•53•11•Updated Oct 20, 2025Oct 20, 2025
juvix
Public
A language for intent-centric and declarative decentralised applications
programming-language functional-programming anoma arithmetic-circuits privacy-preserving-technologies
Haskell
•
GNU General Public License v3.0
•64•504•129•7•Updated Oct 5, 2025Oct 5, 2025
anoma-beta-documentation
Public
0•0•0•0•Updated Sep 30, 2025Sep 30, 2025
anoma-pay-backend
Public
Backend for AnomaPay
Elixir
•
GNU General Public License v3.0
•0•0•0•0•Updated Sep 26, 2025Sep 26, 2025
token
Public
The Anoma token contract written in Solidity
Solidity
•1•4•0•0•Updated Sep 22, 2025Sep 22, 2025
counter-web
Public
Counter example web front-end.
Elixir
•0•0•0•0•Updated Sep 15, 2025Sep 15, 2025
gt-documents
Public
I contain Wardley maps for various plans for anoma and slides for reading groups
Smalltalk
•0•2•0•0•Updated Sep 15, 2025Sep 15, 2025
dominion
Public
Welcome to the dominion of Anoma. Enjoy your stay, Citizen
Smalltalk
•0•1•0•0•Updated Sep 15, 2025Sep 15, 2025
whitepaper
Public
TeX
•34•88•0•0•Updated Sep 15, 2025Sep 15, 2025
engine
Public
A formal model-adherent implementation of the Engine Model
distributed-systems actor-model
Elixir
•
MIT License
•0•3•1•1•Updated Sep 9, 2025Sep 9, 2025
simple_counter
Public
simple_counter from arm-risc0
Rust
•0•0•0•0•Updated Aug 7, 2025Aug 7, 2025
juvix-lean
Public
Juvix Lean library for compiler run verification
Lean
•
MIT License
•0•5•0•0•Updated Jul 22, 2025Jul 22, 2025
Semitopology-Checker
Public
A model checker for semitopologies
Rust
•
MIT License
•0•0•2•0•Updated Jun 20, 2025Jun 20, 2025
anoma-ci-test
Public
Elixir
•
MIT License
•0•0•0•1•Updated Jun 19, 2025Jun 19, 2025
juvix-docs
Public
Juvix Official Documentation
documentation juvix
Makefile
•
GNU General Public License v3.0
•6•8•4•1•Updated Jun 10, 2025Jun 10, 2025