F1R3FLY-io / f1r3nodeLinks
☆14Updated this week
Alternatives and similar repositories for f1r3node
Users that are interested in f1r3node are comparing it to the libraries listed below
Sorting:
- Experiments with interactive theorem provers, LLMs and formal systems☆23Updated 2 years ago
- ☆28Updated 9 years ago
- Discussion of MeTTa programming with examples☆34Updated 4 months ago
- Tau Meta-Language☆123Updated 2 years ago
- MeTTa Optimal Reduction Kernel☆41Updated 2 weeks ago
- MOSES Machine Learning: Meta-Optimizing Semantic Evolutionary Search for the AtomSpace (https://github.com/opencog/atomspace)☆45Updated last month
- A Categorical View of Computation☆34Updated last week
- Active Inference models of/for Ants☆26Updated 4 months ago
- Well Typed Foundations 🏛️☆14Updated 4 years ago
- Artificial Intelligence Domain Specific Language (AI-DSL) to enable autonomous interoperability between AI services.☆83Updated 6 months ago
- DSL for Secure DApps☆33Updated 2 years ago
- Lambda called on lambda finds/creates lambda, each with lazy-evaled 256 bit global DAG ids. Each lambda has 2 child lambdas. A kind of nu…☆28Updated last year
- Elliptic curve library secp256k1 wrapper for Ocaml☆24Updated 3 weeks ago
- Finite Fields and Curves in Lean☆14Updated 2 years ago
- State-Transition Systems for Smart Contracts☆25Updated 5 years ago
- Collection of Kind2 programs and proofs☆12Updated last year
- Translate Python code to Coq code for formal verification. Applied to the reference implementation of Ethereum in Python.☆41Updated last year
- A minimalistic blockchain consensus implemented and verified in Coq☆114Updated 5 years ago
- Make your zero-knowledge circuits safe with formal verification! 🍀☆30Updated last month
- A high-level language for Dune Network (and Tezos) with OCaml and ReasonML syntaxes, with a decompiler from Michelson☆156Updated 4 years ago
- Pure OCaml implementation of the Groth-Maller SNARK verifier (and associated crypto)☆55Updated 6 years ago
- Formal verification of the Algorand consensus protocol☆27Updated 3 years ago
- Service Daemon exposes an AI application as an API that is accessible through the SingularityNET Network. It handles all interaction with…☆52Updated last week
- Optimized Patricia trie with disk storage☆31Updated 6 years ago
- Haskell implementation of open games☆183Updated 11 months ago
- [NO LONGER MAINTAINED, SUPERSEDED BY https://github.com/trueagi-io/pln-experimental and https://github.com/trueagi-io/PLN]. Probabilisti…☆16Updated 3 months ago
- Michelson VM and Tezos OS rewritten in Rust☆26Updated 2 years ago
- The Noise Protocol Framework, with types☆26Updated 4 years ago
- Verifier for effectful, higher-order programs☆17Updated this week
- OCaml ctypes bindings to llama.cpp☆15Updated last year