Alternatives and similar repositories for Finite-Field-Assembly:

Users that are interested in Finite-Field-Assembly are comparing it to the libraries listed below

• statusfailed / catgrad
  a categorical deep learning compiler
  ☆195Updated 9 months ago
• okuvshynov / llama_duo
  asynchronous/distributed speculative evaluation for llama3
  ☆37Updated 6 months ago
• vtabbott / Algebraic-NCD
  A package for defining deep learning models using categorical algebraic expressions.
  ☆59Updated 6 months ago
• blackhole89 / autopen
  Editor with LLM generation tree exploration
  ☆62Updated last week
• philzook58 / knuckledragger
  A Low Barrier Proof Assistant
  ☆75Updated this week
• Laz4rz / ziglings
  Extensive introductory writeup on Zig language functionalities
  ☆10Updated 7 months ago
• formal-land / coq-of-python
  Translate Python code to Coq code for formal verification. Applied to the reference implementation of Ethereum in Python.
  ☆32Updated 5 months ago
• vagos / llm-interpolate
  Interpolate between embedding points with llm
  ☆33Updated 7 months ago
• charlesfrye / cuda-substrings
  Because it's there.
  ☆14Updated 5 months ago
• reissbaker / clevergpt
  Training GPTs to solve interaction nets
  ☆16Updated 6 months ago
• adamnemecek / traceoid.ai
  ☆66Updated 2 months ago
• doomslide / autoloom
  ☆20Updated 3 months ago
• jart / matmul
  ☆18Updated 7 months ago
• znah / zff
  8-bit computational substrates
  ☆39Updated 7 months ago
• facebookresearch / LeanUniverse
  LeanUniverse: A Library for Consistent and Scalable Lean4 Dataset Management
  ☆59Updated last month
• nreHieW / r-nn
  Tensor library with autograd using only Rust's standard library
  ☆65Updated 7 months ago
• ryao / llama3.c
  A fork of llama3.c used to do some R&D on inferencing
  ☆18Updated 2 months ago
• apoorvnandan / lilgrad
  pytorch from scratch in pure C/CUDA and python
  ☆40Updated 4 months ago
• mikex86 / tritonc
  Standalone commandline CLI tool for compiling Triton kernels
  ☆17Updated 5 months ago
• jart / blc
  Binary Lambda Calculus Virtual Machine
  ☆49Updated last year
• okarthikb / state-space-models
  ☆27Updated 7 months ago
• geohot / dumbrl
  Can RL solve simple problems?
  ☆54Updated last year
• kir-gadjello / zipslicer
  A library for incremental loading of large PyTorch checkpoints
  ☆56Updated last year
• xjdr-alt / muzero_sketch
  ☆38Updated 6 months ago
• goblint / cil
  C Intermediate Language
  ☆146Updated last month
• tinygrad / tinyos
  ☆28Updated last month
• SpellcraftAI / turing
  Turing machines, Rule 110, and A::B reversal using Claude 3 Opus.
  ☆59Updated 9 months ago
• DiscoGrad / DiscoGrad
  DiscoGrad - automatically differentiate across conditional branches in C++ programs
  ☆203Updated 5 months ago