Thanks to visit codestin.com
Credit goes to github.com

Skip to content

@anoma Anoma

Change the repository type filter

All

    Repositories list

    137 repositories

    • geb

      Public
      A Categorical View of Computation
      lispcommon-lispcategory-theorycategoryidris2
      Idris
      •
      GNU General Public License v3.0
      •10•34•24•4•Updated Dec 19, 2025Dec 19, 2025

    • goose-lean

      Public
      GOOSE in Lean4
      Lean
      •
      ISC License
      •5•12•2•2•Updated Dec 19, 2025Dec 19, 2025

    • anoma

      Public
      Reference implementation of Anoma
      distributed-systemscryptographyerlangelixirprotocolblockchainp2pconsensusoperating-system
      Elixir
      •
      MIT License
      •4.1k•34k•121•53•Updated Dec 19, 2025Dec 19, 2025

    • arm-risc0

      Public
      Anoma Abstract Resource Machine Implementation using RISC Zero zkVM
      Rust
      •
      Apache License 2.0
      •7•12•15•13•Updated Dec 18, 2025Dec 18, 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
      •14•33•45•4•Updated Dec 16, 2025Dec 16, 2025

    • juvix-stdlib

      Public
      The Juvix standard library
      libraryjuvix
      Makefile
      •3•27•6•5•Updated Dec 15, 2025Dec 15, 2025

    • anoma-local-domain

      Public
      Local Domain for Anoma
      Elixir
      •0•4•1•6•Updated Dec 7, 2025Dec 7, 2025

    • risc0-scheme

      Public
      Scheme-like DSL inside RISC Zero
      Rust
      •
      Apache License 2.0
      •1•0•0•0•Updated Nov 26, 2025Nov 26, 2025

    • specs.anoma.net

      Public
      HTML
      •0•0•0•0•Updated Nov 18, 2025Nov 18, 2025

    • nspec

      Public
      Anoma Spec
      distributed-systemsprotocolspecificationblockchain-technologyjuvixanoma
      HTML
      •
      GNU General Public License v3.0
      •3•6•51•9•Updated Nov 18, 2025Nov 18, 2025

    • arm-risc0-examples

      Public
      Arm-Risc0 application examples
      Rust
      •0•0•0•0•Updated Nov 13, 2025Nov 13, 2025

    • gt-documents

      Public
      I contain Wardley maps for various plans for anoma and slides for reading groups
      Smalltalk
      •0•2•0•0•Updated Nov 13, 2025Nov 13, 2025

    • l2c

      Public
      A compiler from a Scheme-like language to C
      Rust
      •0•0•0•0•Updated Nov 10, 2025Nov 10, 2025

    • risc0-lean-example

      Public
      Example of Lean 4 in RISC0 guest
      Rust
      •
      Apache License 2.0
      •1•2•0•0•Updated Nov 6, 2025Nov 6, 2025

    • juvix

      Public
      A language for intent-centric and declarative decentralised applications
      programming-languagefunctional-programminganomaarithmetic-circuitsprivacy-preserving-technologies
      Haskell
      •
      GNU General Public License v3.0
      •63•503•129•5•Updated Nov 5, 2025Nov 5, 2025

    • anoma-issues

      Public
      Issues for Anoma that are not actionable for a specific repository
      0•0•12•0•Updated Nov 3, 2025Nov 3, 2025

    • lean-risc0-init

      Public
      Lean4 Init library for RISC0
      Lean
      •
      Apache License 2.0
      •1•0•0•0•Updated Oct 31, 2025Oct 31, 2025

    • lean-risc0-runtime

      Public
      Lean4 runtime for RISC0
      C++
      •
      Apache License 2.0
      •1•0•0•0•Updated Oct 31, 2025Oct 31, 2025

    • chicken-core

      Public
      Scheme
      •
      Other
      •0•1•0•0•Updated Oct 29, 2025Oct 29, 2025

    • ex_example

      Public
      Example Framework for Elixir
      Elixir
      •0•3•0•2•Updated Oct 23, 2025Oct 23, 2025

    • lean4

      Public
      Lean 4 programming language and theorem prover
      Lean
      •
      Apache License 2.0
      •718•0•0•0•Updated Oct 22, 2025Oct 22, 2025

    • counter-example

      Public
      Example Anoma application
      Rust
      •1•0•1•1•Updated Oct 20, 2025Oct 20, 2025

    • anoma-sdk

      Public
      The Anoma SDK for building your own Anoma applications
      Elixir
      •4•6•16•12•Updated Oct 20, 2025Oct 20, 2025

    • developer-docs

      Public
      test gitbook sync
      JavaScript
      •3•2•0•5•Updated Oct 20, 2025Oct 20, 2025

    • anoma-beta-documentation

      Public
      0•0•0•0•Updated Sep 30, 2025Sep 30, 2025

    • token

      Public
      The Anoma token contract written in Solidity
      Solidity
      •1•5•0•0•Updated Sep 22, 2025Sep 22, 2025

    • counter-web

      Public
      Counter example web front-end.
      Elixir
      •0•0•0•0•Updated Sep 15, 2025Sep 15, 2025

    • dominion

      Public
      Welcome to the dominion of Anoma. Enjoy your stay, Citizen
      Smalltalk
      •0•1•0•0•Updated Sep 15, 2025Sep 15, 2025

    • whitepaper

      Public
      TeX
      •34•90•0•0•Updated Sep 15, 2025Sep 15, 2025

    • engine

      Public
      A formal model-adherent implementation of the Engine Model
      distributed-systemsactor-model
      Elixir
      •
      MIT License
      •0•3•1•1•Updated Sep 9, 2025Sep 9, 2025