Alternatives and similar repositories for difflogic

Users that are interested in difflogic are comparing it to the libraries listed below

• nirw4nna / dsc
  Tensor library & inference framework for machine learning
  ☆107Updated last week
• valine / training-hot-swap
  Pytorch script hot swap: Change code without unloading your LLM from VRAM
  ☆126Updated 4 months ago
• LeetArxiv / Finite-Field-Assembly
  The Finite Field Assembly Programming Language
  ☆36Updated 3 months ago
• joelburget / microjax
  A tiny autograd engine with a Jax-like API
  ☆74Updated last month
• meelgroup / pepin
  A probabilistic approximate DNF counter
  ☆37Updated last month
• Foreseerr / TScale
  ☆197Updated 3 months ago
• mlecauchois / micrograd-cuda
  ☆249Updated last year
• DiscoGrad / DiscoGrad
  DiscoGrad - automatically differentiate across conditional branches in C++ programs
  ☆204Updated 11 months ago
• robjinman / richard
  Richard is gaining power
  ☆193Updated 2 months ago
• dicroce / hnsw
  Heirarchical Navigable Small Worlds
  ☆101Updated 3 weeks ago
• geohot / tt-tiny
  tiny code to access tenstorrent blackhole
  ☆59Updated 3 months ago
• brianmg / voynich-nlp-analysis
  ☆126Updated 3 months ago
• heap-exploitation / heap-explorer
  LD_PRELOADable library for exploring the glibc heap
  ☆107Updated 5 months ago
• a1k0n / a1gpt
  throwaway GPT inference
  ☆140Updated last year
• statusfailed / catgrad
  a categorical deep learning compiler
  ☆203Updated 6 months ago
• serge-sans-paille / i8mm
  Various implementation of byte matrix multiplication
  ☆26Updated 7 months ago
• trevorpogue / algebraic-nnhw
  Algebraic enhancements for GEMM & AI accelerators
  ☆278Updated 6 months ago
• rodlaf / BinaryGPUIndex
  A GPU Accelerated Binary Vector Store
  ☆47Updated 6 months ago
• ndrwnaguib / principia
  Rewriting Principia Mathematica in Lean
  ☆134Updated 2 weeks ago
• AMD-AIG-AIMA / AMD-LLM
  ☆187Updated last year
• rayking99 / BlockStar
  A star for organising blocks and playing with transformers.
  ☆23Updated last year
• fraware / leanverifier
  Framework for specifying and proving properties—such as robustness, fairness, and interpretability—of machine learning models using Lean …
  ☆64Updated last month
• tripplyons / cuda-fractal-renderer
  Quickly render fractals in CUDA
  ☆63Updated last month
• kaitz / fx-cmix
  ☆51Updated last year
• umuthopeyildirim / DOOM-Mistral
  Mistral7B playing DOOM
  ☆135Updated last year
• moonshine-ai / qc_npu_benchmark
  Code sample showing how to run and benchmark models on Qualcomm's Window PCs
  ☆101Updated 10 months ago
• utkuozbulak / pytorch-simple-diffusion
  ☆47Updated 4 months ago
• hkoosha / bag
  Docker in 600 lines of bash using proot
  ☆16Updated 4 years ago
• ClemHeyd / PCR7500
  Craziness.
  ☆29Updated 6 months ago
• Futrell / ziplm
  ☆254Updated 2 years ago