HigherOrderCO / HVM1
A massively parallel, optimal functional runtime in Rust
☆24Updated last month
Related projects: ⓘ
- A minimal proof checker.☆58Updated last week
- Turing machines, Rule 110, and A::B reversal using Claude 3 Opus.☆60Updated 4 months ago
- Tensor library with autograd using only Rust's standard library☆61Updated 2 months ago
- ☆54Updated 3 years ago
- Hypergraph Rewriting System☆62Updated 5 months ago
- Local Startup Advisor Chatbot☆25Updated 8 months ago
- 8-bit computational substrates☆35Updated 2 months ago
- Inpla: Interaction nets as a programming language (the current version)☆273Updated last week
- Rust bindings to GAP (Groups, Algorithms, Programming)☆16Updated last year
- Reasoning Computers. Lambda Calculus, Fully Differentiable. Also Neural Stacks, Queues, Arrays, Lists, Trees, and Latches.☆201Updated this week
- ☆25Updated 2 weeks ago
- Flexible, efficient, and context-aware generation from large unstructured knowledge sources.☆12Updated 4 months ago
- Temporary repository for Kind2's refactor based on HVM2☆276Updated 3 weeks ago
- Like ARC, but code to generate visual puzzles. 1D puzzles first.☆15Updated last month
- iterate quickly with llama.cpp hot reloading. use the llama.cpp bindings with bun.sh☆45Updated 10 months ago
- egraphs-good website☆15Updated last week
- 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…☆24Updated 5 months ago
- ☆105Updated 7 months ago
- ☆62Updated 3 months ago
- A library for incremental loading of large PyTorch checkpoints☆56Updated last year
- Parameter-Efficient Sparsity Crafting From Dense to Mixture-of-Experts for Instruction Tuning on General Tasks☆31Updated 3 months ago
- Cognitive Computing with Associative Memory☆30Updated 7 months ago
- Programming language for ternary computing☆29Updated 3 years ago
- ☆46Updated 2 months ago
- Training GPTs to solve interaction nets☆16Updated last month
- Grounding LLM mathematical reasoning with proof assistants.☆59Updated last year
- A package for defining deep learning models using categorical algebraic expressions.☆53Updated last month
- AGDA☆22Updated this week
- A relatively basic implementation of RWKV in Rust written by someone with very little math and ML knowledge. Supports 32, 8 and 4 bit eva…☆92Updated last year
- A sketch of a Transformer in Rust for a blog post☆27Updated 2 years ago