HigherOrderCO / HVM1

Related projects: ⓘ

• VictorTaelin / interaction-calculus-of-constructions
  A minimal proof checker.
  ☆58Updated last week
• SpellcraftAI / turing
  Turing machines, Rule 110, and A::B reversal using Claude 3 Opus.
  ☆60Updated 4 months ago
• nreHieW / r-nn
  Tensor library with autograd using only Rust's standard library
  ☆61Updated 2 months ago
• HnimNart / deeplearning
  ☆54Updated 3 years ago
• met4citizen / Hypergraph
  Hypergraph Rewriting System
  ☆62Updated 5 months ago
• remyxai / LocalMentor
  Local Startup Advisor Chatbot
  ☆25Updated 8 months ago
• znah / zff
  8-bit computational substrates
  ☆35Updated 2 months ago
• inpla / inpla
  Inpla: Interaction nets as a programming language (the current version)
  ☆273Updated last week
• symbolica-ai / gap-sys
  Rust bindings to GAP (Groups, Algorithms, Programming)
  ☆16Updated last year
• neurallambda / neurallambda
  Reasoning Computers. Lambda Calculus, Fully Differentiable. Also Neural Stacks, Queues, Arrays, Lists, Trees, and Latches.
  ☆201Updated this week
• adamnemecek / traceoid.ai
  ☆25Updated 2 weeks ago
• lumpenspace / FRAG
  Flexible, efficient, and context-aware generation from large unstructured knowledge sources.
  ☆12Updated 4 months ago
• HigherOrderCO / kind
  Temporary repository for Kind2's refactor based on HVM2
  ☆276Updated 3 weeks ago
• neurallambda / arc-like
  Like ARC, but code to generate visual puzzles. 1D puzzles first.
  ☆15Updated last month
• spirobel / bunny-llama
  iterate quickly with llama.cpp hot reloading. use the llama.cpp bindings with bun.sh
  ☆45Updated 10 months ago
• egraphs-good / egraphs-good.github.io
  egraphs-good website
  ☆15Updated last week
• benrayfield / wikibinator203
  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
• VictorTaelin / Interaction-Type-Theory
  ☆105Updated 7 months ago
• harp-lab / gdlog
  ☆62Updated 3 months ago
• kir-gadjello / zipslicer
  A library for incremental loading of large PyTorch checkpoints
  ☆56Updated last year
• serp-ai / Parameter-Efficient-MoE
  Parameter-Efficient Sparsity Crafting From Dense to Mixture-of-Experts for Instruction Tuning on General Tasks
  ☆31Updated 3 months ago
• PeterOvermann / TriadicMemory
  Cognitive Computing with Associative Memory
  ☆30Updated 7 months ago
• nirvanasupermind / owlet
  Programming language for ternary computing
  ☆29Updated 3 years ago
• metacrank / cognition
  ☆46Updated 2 months ago
• reissbaker / clevergpt
  Training GPTs to solve interaction nets
  ☆16Updated last month
• atroyn / math-llm
  Grounding LLM mathematical reasoning with proof assistants.
  ☆59Updated last year
• vtabbott / Algebraic-NCD
  A package for defining deep learning models using categorical algebraic expressions.
  ☆53Updated last month
• HigherOrderCO / monobook
  AGDA
  ☆22Updated this week
• KerfuffleV2 / smolrsrwkv
  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
• nelhage / transformer-rs
  A sketch of a Transformer in Rust for a blog post
  ☆27Updated 2 years ago