Repositories list

• goose-lean

  Public
  GOOSE in Lean4

  Lean

  •

  ISC License

  •0•2•3•3•Updated Jul 8, 2025Jul 8, 2025

• arm-risc0

  Public
  Anoma Abstract Resource Machine Implementation using RISC Zero zkVM

  Rust

  •

  Apache License 2.0

  •1•3•11•8•Updated Jul 8, 2025Jul 8, 2025

• juvix-stdlib

  Public
  The Juvix standard library

  libraryjuvix

  Makefile

  •3•15•5•5•Updated Jul 7, 2025Jul 7, 2025

• gt-documents

  Public
  I contain Wardley maps for various plans for anoma and slides for reading groups

  Smalltalk

  •0•0•0•0•Updated Jul 4, 2025Jul 4, 2025

• anoma

  Public
  Reference implementation of Anoma

  distributed-systemscryptographyerlang+ 6elixirprotocolblockchainp2pconsensusoperating-system

  Elixir

  •

  MIT License

  •3.9k•31k•121•58•Updated Jul 4, 2025Jul 4, 2025

• anoma-sdk

  Public
  The Anoma SDK for building your own Anoma applications

  Elixir

  •0•0•6•0•Updated Jun 25, 2025Jun 25, 2025

• Semitopology-Checker

  Public
  A model checker for semitopologies

  Rust

  •

  MIT License

  •0•0•2•0•Updated Jun 20, 2025Jun 20, 2025

• evm-protocol-adapter

  Public
  A protocol adapter contract written in Solidity enabling Anoma Resource Machine transaction settlement on EVM-compatible chains.

  evmprotocol-adapteranoma

  Solidity

  •

  MIT License

  •0•3•10•0•Updated Jun 16, 2025Jun 16, 2025

• juvix

  Public
  A language for intent-centric and declarative decentralised applications

  programming-languagefunctional-programminganoma+ 2arithmetic-circuitsprivacy-preserving-technologies

  Haskell

  •

  GNU General Public License v3.0

  •62•490•129•5•Updated Jun 10, 2025Jun 10, 2025

• juvix-docs

  Public
  Juvix Official Documentation

  documentationjuvix

  Makefile

  •

  GNU General Public License v3.0

  •5•8•4•0•Updated Jun 10, 2025Jun 10, 2025

• engine

  Public
  A formal model-adherent implementation of the Engine Model

  distributed-systemsactor-model

  Elixir

  •

  MIT License

  •0•1•1•0•Updated Jun 6, 2025Jun 6, 2025

• juvix-nightly-builds

  Public
  4•8•1•0•Updated Jun 2, 2025Jun 2, 2025

• anoma-applib

  Public
  A library for intent-centric application development.

  MIT License

  •0•8•8•0•Updated May 28, 2025May 28, 2025

• anoma-apps

  Public
  Anoma application examples

  JavaScript

  •

  GNU General Public License v3.0

  •5•13•13•4•Updated May 23, 2025May 23, 2025

• juvix-lean

  Public
  Juvix Lean library for compiler run verification

  Lean

  •

  MIT License

  •0•4•0•1•Updated May 16, 2025May 16, 2025

• juvix-test

  Public
  A testing framework for Juvix

  Shell

  •2•3•1•0•Updated May 15, 2025May 15, 2025

• cosmwasm

  Public
  Framework for building smart contracts in Wasm for the Cosmos SDK

  Rust

  •

  Apache License 2.0

  •383•0•0•0•Updated May 13, 2025May 13, 2025

• juvix-mtl

  Public
  Monad transformers for Juvix

  0•2•0•0•Updated May 12, 2025May 12, 2025

• homebrew-juvix

  Public
  Homebrew tap for installing the Juvix compiler

  Ruby

  •

  MIT License

  •3•1•2•0•Updated May 9, 2025May 9, 2025

• developer-docs

  Public
  test gitbook sync

  JavaScript

  •2•1•0•4•Updated May 9, 2025May 9, 2025

• anoma-python-client

  Public
  A reference implementation of a third-party client in Python

  Python

  •0•2•0•0•Updated May 7, 2025May 7, 2025

• juvix-mkdocs

  Public
  Beautiful documentation websites using Mkdocs and Juvix support

  mkdocsliterate-programmingmkdocs-material+ 2mkdocs-pluginjuvix

  JavaScript

  •2•1•3•0•Updated May 6, 2025May 6, 2025

• cl-rm

  Public
  The Common Lisp OO Resource Machine Demo

  Common Lisp

  •0•2•0•0•Updated May 2, 2025May 2, 2025

• cargo-semver-checks-action

  Public
  A GitHub Action for running cargo-semver-checks

  TypeScript

  •

  MIT License

  •20•0•0•0•Updated Apr 22, 2025Apr 22, 2025

• juvix-installer

  Public
  Juvix Binary installer

  Shell

  •

  GNU General Public License v3.0

  •1•2•1•0•Updated Mar 21, 2025Mar 21, 2025

• anoma-blog

  Public
  Jupyter Notebook

  •3•6•4•5•Updated Mar 14, 2025Mar 14, 2025

• vscode-juvix

  Public
  VSCode extension for Juvix

  juvixvscodevscode-extension

  TypeScript

  •

  GNU General Public License v3.0

  •3•4•15•3•Updated Mar 6, 2025Mar 6, 2025

• juvix-mode

  Public
  The Juvix Emacs mode

  emacs-modejuvix

  Emacs Lisp

  •

  GNU General Public License v3.0

  •1•2•5•1•Updated Feb 27, 2025Feb 27, 2025

• juvix-quickcheck

  Public
  Property-based testing for Juvix

  Makefile

  •1•4•0•1•Updated Feb 19, 2025Feb 19, 2025

• rust-bech32

  Public
  Bech32 format encoding and decoding

  Rust

  •

  MIT License

  •62•1•0•0•Updated Feb 7, 2025Feb 7, 2025