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:
- Tau Meta-Language☆123Updated 2 years ago
- ☆28Updated 9 years ago
- Discussion of MeTTa programming with examples☆34Updated 5 months ago
- MeTTa programming language implementation☆226Updated last week
- Experiments with interactive theorem provers, LLMs and formal systems☆23Updated 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
- Artificial Intelligence Domain Specific Language (AI-DSL) to enable autonomous interoperability between AI services.☆85Updated 7 months ago
- Translate Python code to Coq code for formal verification. Applied to the reference implementation of Ethereum in Python.☆41Updated last year
- OCaml ctypes bindings to llama.cpp☆15Updated 2 years ago
- The Noise Protocol Framework, with types☆26Updated 4 years ago
- A high-level language for Dune Network (and Tezos) with OCaml and ReasonML syntaxes, with a decompiler from Michelson☆156Updated 4 years ago
- Elliptic curve library secp256k1 wrapper for Ocaml☆24Updated last week
- MeTTa Optimal Reduction Kernel☆42Updated last week
- Verifier for effectful, higher-order programs☆17Updated this week
- Flexible, efficient, and context-aware generation from large unstructured knowledge sources.☆17Updated last year
- Imandra Contracts - Formal verification of smart contracts☆32Updated 9 years ago
- MOSES Machine Learning: Meta-Optimizing Semantic Evolutionary Search for the AtomSpace (https://github.com/opencog/atomspace)☆45Updated 2 months ago
- Optimized Patricia trie with disk storage☆31Updated 6 years ago
- Compiler for stack manipulation in Michelson☆15Updated 7 years ago
- Collection of Kind2 programs and proofs☆12Updated last year
- ☆14Updated 4 months ago
- ☆43Updated this week
- A minimalistic blockchain consensus implemented and verified in Coq☆114Updated 5 years ago
- working with coq and tezos☆27Updated 8 years ago
- Categorica: a pure and applied category theory framework for the Wolfram Language☆34Updated last year
- Aigents Java Core Platform☆32Updated last year
- A Hyperon MeTTa Interpreter/Transpilier that targets the Warren Abstract Machine☆23Updated 2 months ago
- ☆73Updated last year
- Numpy file format support for ocaml.☆40Updated last year
- Ocaml-solidity provides a Solidity parser and typechecker☆33Updated 2 years ago