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
  ☆199Updated last month
• symbolica-ai / gap-sys
  Rust bindings to GAP (Groups, Algorithms, Programming)
  ☆22Updated last year
• Figura-Labs-Inc / telegraf_nv_export
  Ultra low overhead NVIDIA GPU telemetry plugin for telegraf with memory temperature readings.
  ☆63Updated 8 months ago
• salykova / sgemm.cu
  High-Performance SGEMM on CUDA devices
  ☆87Updated 2 months ago
• vtabbott / Algebraic-NCD
  A package for defining deep learning models using categorical algebraic expressions.
  ☆60Updated 8 months ago
• okuvshynov / llama_duo
  asynchronous/distributed speculative evaluation for llama3
  ☆39Updated 7 months ago
• fraware / leanverifier
  Framework for specifying and proving properties—such as robustness, fairness, and interpretability—of machine learning models using Lean …
  ☆55Updated 3 weeks ago
• atroyn / math-llm
  Grounding LLM mathematical reasoning with proof assistants.
  ☆63Updated last year
• geohot / ctypeslib
  Generate python ctypes classes from C headers. Requires LLVM clang
  ☆15Updated 7 months ago
• meelgroup / pepin
  A probabilistic approximate DNF counter
  ☆36Updated 11 months ago
• philzook58 / knuckledragger
  A Low Barrier Proof Assistant
  ☆80Updated this week
• reissbaker / clevergpt
  Training GPTs to solve interaction nets
  ☆17Updated 7 months ago
• HigherOrderCO / HVM1
  A massively parallel, optimal functional runtime in Rust
  ☆31Updated 7 months ago
• adamnemecek / traceoid.ai
  ☆76Updated 4 months ago
• znah / zff
  8-bit computational substrates
  ☆39Updated 9 months ago
• tinygrad / tinyos
  ☆29Updated 2 months ago
• ssloy / tinyoptimizer
  Can I make an *optimizing* compiler under 1k lines of code?
  ☆55Updated last month
• nreHieW / r-nn
  Tensor library with autograd using only Rust's standard library
  ☆67Updated 9 months ago
• xjdr-alt / mla_blog_translation
  ☆13Updated 9 months ago
• Qazalin / remu
  RDNA3 emulator
  ☆52Updated 3 weeks ago
• LaurieWired / BenchmarkCustomPTX
  Custom PTX Instruction Benchmark
  ☆120Updated last month
• unixpickle / learn-ptx
  Learning about CUDA by writing PTX code.
  ☆125Updated last year
• facebookresearch / LeanUniverse
  LeanUniverse: A Library for Consistent and Scalable Lean4 Dataset Management
  ☆59Updated 2 months ago
• abhisheknair10 / llama3.cu
  Lightweight Llama 3 8B Inference Engine in CUDA C
  ☆47Updated last week
• charlesfrye / cuda-substrings
  Because it's there.
  ☆16Updated 6 months ago
• tinygrad / gpuctypes
  ctypes wrappers for HIP, CUDA, and OpenCL
  ☆129Updated 9 months ago
• jart / blc
  Binary Lambda Calculus Virtual Machine
  ☆52Updated last year
• xjdr-alt / llmri
  look how they massacred my boy
  ☆63Updated 5 months ago
• joennlae / halutmatmul
  Hashed Lookup Table based Matrix Multiplication (halutmatmul) - Stella Nera accelerator
  ☆210Updated last year
• okarthikb / state-space-models
  ☆27Updated 8 months ago