repos
20
ecosystems
1
languages
11
commits
1,177
─── top repos · by commits
─── repositories
20 totalA language for intent-centric and declarative decentralised applications
Anoma Spec
VSCode extension for Juvix
Juvix Official Documentation
Beautiful documentation websites using Mkdocs and Juvix support
Homebrew tap for installing the Juvix compiler
Anoma Research Topics Template
The Juvix standard library
A protocol adapter contract enabling Anoma Resource Machine transaction settlement on EVM-compatible chains.
Juvix language grammars for highlightjs (low maintenance)
A forwarder contract allowing to wrap ERC20 tokens into resources using the Anoma Protocol Adapter
The Juvix Emacs mode
Vamp-IR is a proof-system-agnostic language for writing arithmetic circuits
test gitbook sync
Juvix Binary installer
Immutable container types for Juvix
A formalization of HPaxos in Isabelle
─── peer developers
─── ecosystems
─── languages
- Makefile4
- JavaScript3
- Rust3
- TeX2
- Haskell1
- HTML1
- TypeScript1
- Ruby1
- Emacs Lisp1
- Shell1
─── subscriber view
Unlock the full view of jonaprieto
- · Full repository, commit, and contributor breakdown
- · Peer graph + ecosystem links
- · Weekly trend deltas and pulse signal
- · API + CSV / JSON exports
Already a subscriber? Sign in with the same email used at checkout.