Anoma

All

112 repositories

anoma
Public
Reference implementation of Anoma
distributed-systems cryptography erlang elixir protocol blockchain p2p consensus operating-system
Elixir
•
MIT License
•180•450•72•52•Updated Nov 27, 2024Nov 27, 2024
juvix-stdlib
Public
The Juvix standard library
library juvix
Makefile
•2•11•6•10•Updated Nov 27, 2024Nov 27, 2024
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
•53•457•134•15•Updated Nov 27, 2024Nov 27, 2024
namada-interface
Public
TypeScript
•
Apache License 2.0
•106•79•94•25•Updated Nov 27, 2024Nov 27, 2024
juvix-docs
Public
Juvix Official Documentation
documentation juvix
Makefile
•
GNU General Public License v3.0
•6•3•7•0•Updated Nov 27, 2024Nov 27, 2024
namada
Public
Rust implementation of Namada, a Proof-of-Stake L1 for interchain asset-agnostic privacy
privacy zkp rust blockchain
Rust
•
GNU General Public License v3.0
•961•2.4k•134•26•Updated Nov 27, 2024Nov 27, 2024
namada-indexer
Public
Namada indexer to be used in conjunction with the namada interface
Rust
•8•21•8•9•Updated Nov 27, 2024Nov 27, 2024
ex_example
Public
Example Framework for Elixir
Elixir
•0•0•0•3•Updated Nov 27, 2024Nov 27, 2024
namada-governance-upgrades
Public
Rust
•1•1•2•2•Updated Nov 27, 2024Nov 27, 2024
juvix-nightly-builds
Public
3•6•1•0•Updated Nov 27, 2024Nov 27, 2024
juvix-mkdocs
Public
Beautiful documentation websites using Mkdocs and Juvix support
mkdocs literate-programming mkdocs-material mkdocs-plugin juvix
JavaScript
•2•0•3•0•Updated Nov 26, 2024Nov 26, 2024
typhon
Public
Formalization of Typhon protocol
distributed-systems blockchain consensus paxos heterogeneous-paxos
TLA
•
GNU General Public License v3.0
•4•29•42•0•Updated Nov 26, 2024Nov 26, 2024
typhon-sml
Public
Typhon reference implementation in Standard ML
Standard ML
•
GNU General Public License v3.0
•2•2•0•1•Updated Nov 26, 2024Nov 26, 2024
anoma-apps
Public
Anoma application examples
GNU General Public License v3.0
•0•1•9•0•Updated Nov 26, 2024Nov 26, 2024
aarm-cairo
Public
Rust
•0•0•0•1•Updated Nov 25, 2024Nov 25, 2024
namada-chain-registry
Public
GNU General Public License v3.0
•0•0•0•0•Updated Nov 25, 2024Nov 25, 2024
namada-masp-indexer
Public
The Namada Masp Indexer reference implementation.
indexer masp namada
Rust
•
GNU General Public License v3.0
•1•3•2•0•Updated Nov 25, 2024Nov 25, 2024
namada-docs
Public
MDX
•78•48•12•2•Updated Nov 24, 2024Nov 24, 2024
namada-sdkjs-examples
Public
TypeScript
•0•0•0•0•Updated Nov 22, 2024Nov 22, 2024
applications-workshop
Public
A workshop about Anoma applications.
Dockerfile
•0•0•0•0•Updated Nov 14, 2024Nov 14, 2024
juvix-mode
Public
The Juvix Emacs mode
emacs-mode juvix
Emacs Lisp
•
GNU General Public License v3.0
•1•1•4•1•Updated Nov 13, 2024Nov 13, 2024
anoma-applib
Public
A library for intent-centric application development.
MIT License
•0•1•9•0•Updated Nov 12, 2024Nov 12, 2024
juvix-arm-specs
Public
1•0•4•2•Updated Nov 12, 2024Nov 12, 2024
vscode-juvix
Public
VSCode extension for Juvix
juvix vscode vscode-extension
TypeScript
•
GNU General Public License v3.0
•2•3•16•3•Updated Nov 11, 2024Nov 11, 2024
juvix-installer
Public
Juvix Binary installer
Shell
•
GNU General Public License v3.0
•1•0•1•0•Updated Nov 11, 2024Nov 11, 2024
homebrew-juvix
Public
Homebrew tap for installing the Juvix compiler
Ruby
•
MIT License
•2•0•1•2•Updated Nov 11, 2024Nov 11, 2024
namada-mainnet-genesis
Public
Python
•489•31•0•2•Updated Nov 11, 2024Nov 11, 2024
juvix-quickcheck
Public
Property-based testing for Juvix
Makefile
•1•2•0•0•Updated Nov 7, 2024Nov 7, 2024
juvix-test
Public
A testing framework for Juvix
Shell
•2•1•1•0•Updated Nov 7, 2024Nov 7, 2024
docs-examples
Public
0•0•0•0•Updated Nov 1, 2024Nov 1, 2024