repos
23
ecosystems
3
languages
9
commits
1,430
─── top repos · by commits
─── repositories
23 totalA language for intent-centric and declarative decentralised applications
Property-based testing for Juvix
Homebrew tap for installing the Juvix compiler
Juvix Binary installer
Binary Proofs, Blazing Fast
Immutable container types for Juvix
The Juvix standard library
A testing framework for Juvix
Anoma application examples
A library for testing Anoma applications
Vamp-IR is a proof-system-agnostic language for writing arithmetic circuits
A library for intent-centric application development.
Reference implementation of Anoma
Juvix Official Documentation
A framework for generalized shielded state transitions
VSCode extension for Juvix
The Juvix Emacs mode
Maintainable configuration files
A SNARK protocol over towers of binary fields, implemented in Rust (mirror of https://gitlab.com/IrreducibleOSS/binius)
─── peer developers
─── ecosystems
─── languages
- Makefile5
- Rust4
- Shell2
- Elixir2
- Haskell1
- Ruby1
- JavaScript1
- TypeScript1
- Emacs Lisp1
─── subscriber view
Unlock the full view of paulcadman
- · 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.