Anoma is a distributed operating system for the world computer.
168
Public repositories
35,642
Total stars
2,253
Followers
Anoma's public GitHub presence showcases a wide range of repositories focused on distributed operating systems and decentralized applications. The organization primarily uses languages such as Rust, Elixir, and Haskell. Notable repositories include the reference implementation of Anoma and the juvix language for intent-centric applications.
Top languages
Public repositories
anoma
Reference implementation of Anoma
juvix
A language for intent-centric and declarative decentralised applications
namada-testnets
Testnet configurations and coordination for the Namada network.
vamp-ir
Vamp-IR is a proof-system-agnostic language for writing arithmetic circuits
taiga
A framework for generalized shielded state transitions
zkp-compiler-shootout
Evaluating & benchmarking ZKP compilation strategies.
whitepaper
No description provided for this repository.
ferveo
An implementation of a DKG protocol for front-running protection on Anoma.
namada-shielded-expedition
No description provided for this repository.
research
Early-stage research related to the Anoma protocols.
geb
A Categorical View of Computation
pa-evm
A protocol adapter contract enabling Anoma Resource Machine transaction settlement on EVM-compatible chains.
typhon
Formalization of Typhon protocol
juvix-stdlib
The Juvix standard library
anoma-apps
Anoma application examples
arm-risc0
Anoma Abstract Resource Machine Implementation using RISC Zero zkVM
ethereum-bridge
A generalized fully trustless Ethereum bridge for sovereign chains.
goose-lean
GOOSE in Lean4
anoma-applib
A library for intent-centric application development.
juvix-docs
Juvix Official Documentation
masp-mpc
MASP MPC code
nspec
Anoma Spec
juvix-lean
Juvix Lean library for compiler run verification
anoma-sdk
The Anoma SDK for building your own Anoma applications
token
The Anoma token contract written in Solidity
juvix-arm-specs
No description provided for this repository.
anoma-local-domain
Local Domain for Anoma
vscode-juvix
VSCode extension for Juvix
usize-set
A sparse bit set Rust crate
smooth-operator
Rust checked arithmetic without the visual clutter
gt-documents
I contain Wardley maps for various plans for anoma and slides for reading groups
dev-utils
No description provided for this repository.
ex_example
Example Framework for Elixir
cl-rm
The Common Lisp OO Resource Machine Demo
engine
A formal model-adherent implementation of the Engine Model
minijuvix
No description provided for this repository.
juvix-test
A testing framework for Juvix
typhon-sml
Typhon reference implementation in Standard ML
arm-openvm
No description provided for this repository.
developer-docs
Gitbook sync
risc0-scheme
Scheme-like DSL inside RISC Zero
risc0-lean-example
Example of Lean 4 in RISC0 guest
lisp-resource-machine
An old implementation of the Anoma Resource Machine in Common Lisp
aarm-cairo
No description provided for this repository.
juvix-mtl
Monad transformers for Juvix
anoma-python-client
A reference implementation of a third-party client in Python
anoma-app-sdk
Common functionality for using AnomaPay
anoma-level-elixir-prototype
Prototype for Anoma-Level in Elixir
pa-testkit
Protocol adapter tests
applications-workshop
A workshop about Anoma applications.
llm
No description provided for this repository.
lean-risc0-runtime
Lean4 runtime for RISC0
chicken-core
No description provided for this repository.
homebrew-juvix
Homebrew tap for installing the Juvix compiler
slow-game-research
Simulations for the Slow Game ART
redjubjub
A minimal RedJubjub implementation for use in Zebra.
rust-bech32
Bech32 format encoding and decoding
namada-sdkjs-node-examples
This is a simple repo that demonstrates bootstrapping the SDK in a NodeJS application
generic-call-forwarder
A forwarder contract allowing generic EVM calls to be triggered through the Anoma EVM protocol adapter.
arm-noir
Experiment in writing ARM circuits using Noir DSL
generic-call-resource
No description provided for this repository.
anomapay-solana-resource
No description provided for this repository.
forwarder-bases
Base contracts to inherit from when implementing a forwarder for the Anoma protocol adapter
anomapay-erc20-resource
Resource logics and RISC Zero zero-knowledge circuits for the AnomaPay ERC20 transfer resource on the Anoma Resource Machine (ARM).
risc0-deployments
No description provided for this repository.
arm-core-experiments
Here I try various ideas for arm-core
anomapay-erc20-forwarder
A forwarder contract allowing to wrap ERC20 tokens into resources using the Anoma Protocol Adapter
event-broker
I am the EventBroker application. I contain an implemenentation of a general PubSub system using the notion of filters.
thyhbb-prototype
A prototype for ThyHBB (Theory of Heterogeneous Bracha Broadcasting)
linear-sync-test
No description provided for this repository.
pm-template
A template for project management-related GitHub repositories to be used with ZenHub
avm-lab
Brainstorm about AVM
anoma-client
No description provided for this repository.
anoma-protobuf
I am the Anoma Protobuf application. I contain the Protobuf definitions and generate the Elixir representation of the Protobuf files.
anoma-lib
No description provided for this repository.
compile-protoc
I contain the compiler task for Protobuf
sapling-crypto
Zcash "Sapling" cryptography
bellman
zk-SNARK library.
neptune
Rust Poseidon implementation (contact: @porcuquine)
bellpepper
SNARK Circuit library inspired by bellman/bellperson (contact: @porcuquine)
beam2c
An experiment in compiling BEAM bytecode to C
hbb-lean
Formalization of "History structures and modal logic for protocols of heterogeneous interoperability"
risc0-beam
Experiment in running translated BEAM code inside RISC Zero
ethereum-optimism.github.io
Unified token list for OP Mainnet, Base, and other OP Chains
rust-speedex
Rust implementation of the Speedex algorithm
anoma-ci
No description provided for this repository.
specs.anoma.net
No description provided for this repository.
arm-risc0-examples
Arm-Risc0 application examples
l2c
A compiler from a Scheme-like language to C
anoma-issues
Issues for Anoma that are not actionable for a specific repository
lean-risc0-init
Lean4 Init library for RISC0
lean4
Lean 4 programming language and theorem prover
anoma-beta-documentation
No description provided for this repository.
counter-web
Counter example web front-end.
counter-example
Example Anoma application
anoma-ci-test
No description provided for this repository.
simple_counter
simple_counter from arm-risc0
juvix-archived
No description provided for this repository.
Semitopology-Checker
A model checker for semitopologies
cosmwasm
Framework for building smart contracts in Wasm for the Cosmos SDK
Frequently asked questions
What does anoma build on GitHub?
Anoma builds various projects on GitHub that focus on decentralized technologies and distributed systems. Key repositories include the reference implementation of Anoma and the juvix language, both aimed at enhancing decentralized application development.
Which programming languages does anoma use?
Anoma primarily utilizes Rust, Elixir, Haskell, JavaScript, TypeScript, and Lean in its repositories. This diverse set of languages supports their development of decentralized applications and systems.
Are anoma's repositories public?
Yes, all of Anoma's repositories are public on GitHub. This openness allows for community collaboration and transparency in their efforts to build decentralized technologies.
Is this exposure intended?
Monitor Anoma with RepoGuard and get alerted the moment a new public repository appears.
Monitor this account