Anoma

All

137 repositories

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 Dec 6, 2025Dec 6, 2025
anoma
Public
Reference implementation of Anoma
distributed-systems cryptography erlang elixir protocol blockchain p2p consensus operating-system
Elixir
•
MIT License
•4.1k•34k•121•64•Updated Dec 6, 2025Dec 6, 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
•14•33•45•5•Updated Dec 6, 2025Dec 6, 2025
anoma-local-domain
Public
Local Domain for Anoma
Elixir
•0•4•1•5•Updated Dec 3, 2025Dec 3, 2025
juvix-stdlib
Public
The Juvix standard library
library juvix
Makefile
•3•27•6•5•Updated Dec 1, 2025Dec 1, 2025
arm-risc0
Public
Anoma Abstract Resource Machine Implementation using RISC Zero zkVM
Rust
•
Apache License 2.0
•7•12•14•14•Updated Nov 27, 2025Nov 27, 2025
risc0-scheme
Public
Scheme-like DSL inside RISC Zero
Rust
•
Apache License 2.0
•1•0•0•0•Updated Nov 26, 2025Nov 26, 2025
specs.anoma.net
Public
HTML
•0•0•0•0•Updated Nov 18, 2025Nov 18, 2025
nspec
Public
Anoma Spec
distributed-systems protocol specification blockchain-technology juvix anoma
HTML
•
GNU General Public License v3.0
•3•6•51•9•Updated Nov 18, 2025Nov 18, 2025
arm-risc0-examples
Public
Arm-Risc0 application examples
Rust
•0•0•0•0•Updated Nov 13, 2025Nov 13, 2025
gt-documents
Public
I contain Wardley maps for various plans for anoma and slides for reading groups
Smalltalk
•0•2•0•0•Updated Nov 13, 2025Nov 13, 2025
l2c
Public
A compiler from a Scheme-like language to C
Rust
•0•0•0•0•Updated Nov 10, 2025Nov 10, 2025
risc0-lean-example
Public
Example of Lean 4 in RISC0 guest
Rust
•
Apache License 2.0
•1•2•0•0•Updated Nov 6, 2025Nov 6, 2025
goose-lean
Public
GOOSE in Lean4
Lean
•
ISC License
•5•10•2•2•Updated Nov 5, 2025Nov 5, 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
•63•504•129•5•Updated Nov 5, 2025Nov 5, 2025
anoma-issues
Public
Issues for Anoma that are not actionable for a specific repository
0•0•12•0•Updated Nov 3, 2025Nov 3, 2025
lean-risc0-init
Public
Lean4 Init library for RISC0
Lean
•
Apache License 2.0
•1•0•0•0•Updated Oct 31, 2025Oct 31, 2025
lean-risc0-runtime
Public
Lean4 runtime for RISC0
C++
•
Apache License 2.0
•1•0•0•0•Updated Oct 31, 2025Oct 31, 2025
chicken-core
Public
Scheme
•
Other
•0•1•0•0•Updated Oct 29, 2025Oct 29, 2025
ex_example
Public
Example Framework for Elixir
Elixir
•0•3•0•2•Updated Oct 23, 2025Oct 23, 2025
lean4
Public
Lean 4 programming language and theorem prover
Lean
•
Apache License 2.0
•706•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•16•12•Updated Oct 20, 2025Oct 20, 2025
developer-docs
Public
test gitbook sync
JavaScript
•3•2•0•5•Updated Oct 20, 2025Oct 20, 2025
anoma-beta-documentation
Public
0•0•0•0•Updated Sep 30, 2025Sep 30, 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
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
•33•90•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