Anoma
@anomaOrganizationAnoma is a distributed operating system for the world computer.
On the leaderboard
| Rank | Repository | Stars |
|---|---|---|
| 907 | anoma/anoma | 33,771 |
Top repositories by stars
- Elixir34,057
- anoma/juvix
A language for intent-centric and declarative decentralised applications
Haskell507 - anoma/namada-testnets
Testnet configurations and coordination for the Namada network.
354 - anoma/vamp-ir
Vamp-IR is a proof-system-agnostic language for writing arithmetic circuits
Rust162 - anoma/taiga
A framework for generalized shielded state transitions
Rust148 - anoma/zkp-compiler-shootout
Evaluating & benchmarking ZKP compilation strategies.
Rust121 - TeX90
- anoma/ferveo
An implementation of a DKG protocol for front-running protection on Anoma.
Rust84 - Python43
- anoma/research
Early-stage research related to the Anoma protocols.
Idris36 - anoma/pa-evm
A protocol adapter contract written in Solidity enabling Anoma Resource Machine transaction settlement on EVM-compatible chains.
Rust34 - anoma/geb
A Categorical View of Computation
Idris34 - anoma/typhon
Formalization of Typhon protocol
TLA30 - anoma/juvix-stdlib
The Juvix standard library
Makefile27 - anoma/alucard
A common lisp DSL for writing zero knowledge circuits
Common Lisp18 - anoma/anoma-apps
Anoma application examples
JavaScript15 - anoma/ethereum-bridge
A generalized fully trustless Ethereum bridge for sovereign chains.
Solidity14 - anoma/goose-lean
GOOSE in Lean4
Lean12 - anoma/arm-risc0
Anoma Abstract Resource Machine Implementation using RISC Zero zkVM
Rust12 - anoma/anoma-applib
A library for intent-centric application development.
9 - anoma/VampIR-Book
A book which can act as an introduction and documentation for VampIR
CSS9 - Elixir8
- anoma/juvix-docs
Juvix Official Documentation
Makefile8 - anoma/masp-mpc
MASP MPC code
Rust7 - anoma/anoma-sdk
The Anoma SDK for building your own Anoma applications
Elixir6 - anoma/juvix-lean
Juvix Lean library for compiler run verification
Lean6 - anoma/nspec
Anoma Spec
HTML6 - Jupyter Notebook6
- anoma/juvix-e2e-demo
Juvix compiler stack - Integration demo
Dockerfile6 - anoma/token
The Anoma token contract written in Solidity
Solidity5 - anoma/anoma-local-domain
Local Domain for Anoma
Elixir4 - anoma/smooth-operator
Rust checked arithmetic without the visual clutter
Rust4 - anoma/juvix-quickcheck
Property-based testing for Juvix
Makefile4 - anoma/usize-set
A sparse bit set Rust crate
Rust4 - Rust4
- Rust4
- Shell4
- anoma/vscode-juvix
VSCode extension for Juvix
TypeScript4 - anoma/cl-rm
The Common Lisp OO Resource Machine Demo
Common Lisp3 - anoma/engine
A formal model-adherent implementation of the Engine Model
Elixir3 - anoma/ex_example
Example Framework for Elixir
Elixir3 - anoma/juvix-anoma-stdlib
A Juvix library for writing Anoma applications
Makefile3 - anoma/anoma-blog-writing-guide
Comprehensive guide to writing blogposts for the anoma blog.
3 - anoma/typhon-sml
Typhon reference implementation in Standard ML
Standard ML3 - anoma/juvix-test
A testing framework for Juvix
Shell3 - anoma/namada-whitepaper
Namada whitepaper
3 - Shell3
- Haskell3
- anoma/risc0-lean-example
Example of Lean 4 in RISC0 guest
Rust2 - anoma/gt-documents
I contain Wardley maps for various plans for anoma and slides for reading groups
Smalltalk2 - anoma/anoma-python-client
A reference implementation of a third-party client in Python
Python2 - anoma/juvix-mtl
Monad transformers for Juvix
2 - anoma/lisp-resource-machine
An old implementation of the Anoma Resource Machine in Common Lisp
Common Lisp2 - anoma/developer-docs
test gitbook sync
JavaScript2 - anoma/juvix-anoma-test
A library for testing Anoma applications
2 - Rust2
- anoma/Isabelle-HPaxos
A formalization of HPaxos in Isabelle
Isabelle2 - anoma/intents-snippets
A repo to put code snippets related to intent research
Agda2 - anoma/art-template
Anoma Research Topics Template
TeX2 - anoma/juvix-installer
Juvix Binary installer
Shell2 - anoma/juvix-containers
Immutable container types for Juvix
Makefile2 - anoma/juvix-mode
The Juvix Emacs mode
Emacs Lisp2 - Rust2
- anoma/anoma-wasm-multitoken
Validity predicate and transactions for a variable supply multitoken account
Rust2 - anoma/risc0-scheme
Scheme-like DSL inside RISC Zero
Rust1 - Scheme1
- anoma/lean-risc0-runtime
Lean4 runtime for RISC0
C++1 - anoma/rust-bech32
Bech32 format encoding and decoding
Rust1 - anoma/dominion
Welcome to the dominion of Anoma. Enjoy your stay, Citizen
Smalltalk1 - anoma/namada-sdkjs-node-examples
This is a simple repo that demonstrates bootstrapping the SDK in a NodeJS application
JavaScript1 - anoma/redjubjub
A minimal RedJubjub implementation for use in Zebra.
Rust1 - anoma/applications-workshop
A workshop about Anoma applications.
Dockerfile1 - anoma/namada-archive
The home of the old Anoma-Archive
Rust1 - JavaScript1
- anoma/slow-game-research
Simulations for the Slow Game ART
Julia1 - anoma/juvix-cairo-vm
Cairo VM CLI with Juvix support
Rust1 - anoma/enacl
Erlang bindings for NaCl / libsodium
Erlang1 - anoma/namada-light-sdk-starter
Namada light sdk starter kit
Dockerfile1 - anoma/juvix-mkdocs
Beautiful documentation websites using Mkdocs and Juvix support
JavaScript1 - anoma/borsh-ext
Simple extensions to borsh-rs
Rust1 - anoma/highlightjs-juvix
Juvix language grammars for highlightjs (low maintenance)
JavaScript1 - anoma/homebrew-juvix
Homebrew tap for installing the Juvix compiler
Ruby1 - anoma/plonkup
Proof system with plonkup back-end proving arguments
Rust1 - anoma/plonkup-hash
A collection of hash gadgets written for Plonkup
Rust1 - anoma/anoma-level-elixir-prototype
Prototype for Anoma-Level in Elixir
Elixir0 - anoma/risc0-beam
Experiment in running translated BEAM code inside RISC Zero
C0 - anoma/ethereum-optimism.github.io
Unified token list for OP Mainnet, Base, and other OP Chains
TypeScript0 - anoma/ex2c
An experiment in compiling Elixir to C
Elixir0 - Earthly0