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
  ☆110Updated last week
• LeetArxiv / Finite-Field-Assembly
  The Finite Field Assembly Programming Language
  ☆36Updated 4 months ago
• valine / training-hot-swap
  Pytorch script hot swap: Change code without unloading your LLM from VRAM
  ☆124Updated 5 months ago
• joelburget / microjax
  A tiny autograd engine with a Jax-like API
  ☆74Updated 3 months ago
• statusfailed / catgrad
  a categorical deep learning compiler
  ☆205Updated last week
• robjinman / richard
  Richard is gaining power
  ☆194Updated 3 months ago
• dicroce / hnsw
  Heirarchical Navigable Small Worlds
  ☆101Updated 2 months ago
• seanwevans / fluid-sims
  A collection of fluid simulations
  ☆59Updated last week
• Foreseerr / TScale
  ☆196Updated 5 months ago
• mlecauchois / micrograd-cuda
  ☆248Updated last year
• DiscoGrad / DiscoGrad
  DiscoGrad - automatically differentiate across conditional branches in C++ programs
  ☆206Updated last year
• geohot / tt-tiny
  tiny code to access tenstorrent blackhole
  ☆59Updated 4 months ago
• rayking99 / BlockStar
  A star for organising blocks and playing with transformers.
  ☆23Updated last year
• ndrwnaguib / principia
  Rewriting Principia Mathematica in Lean
  ☆134Updated 3 weeks ago
• meelgroup / pepin
  A probabilistic approximate DNF counter
  ☆37Updated last month
• utkuozbulak / pytorch-simple-diffusion
  ☆47Updated 6 months ago
• AMD-AGI / AMD-LLM
  ☆189Updated last year
• phoenicyan / combinadics
  fast combinations calculation in jax
  ☆36Updated last year
• brianmg / voynich-nlp-analysis
  ☆125Updated 4 months ago
• a1k0n / a1gpt
  throwaway GPT inference
  ☆140Updated last year
• moonshine-ai / qc_npu_benchmark
  Code sample showing how to run and benchmark models on Qualcomm's Window PCs
  ☆101Updated last year
• heap-exploitation / heap-explorer
  LD_PRELOADable library for exploring the glibc heap
  ☆107Updated 7 months ago
• joennlae / halutmatmul
  Hashed Lookup Table based Matrix Multiplication (halutmatmul) - Stella Nera accelerator
  ☆214Updated last year
• trevorpogue / algebraic-nnhw
  Algebraic enhancements for GEMM & AI accelerators
  ☆280Updated 7 months ago
• fraware / leanverifier
  Framework for specifying and proving properties—such as robustness, fairness, and interpretability—of machine learning models using Lean …
  ☆66Updated 2 months ago
• Futrell / ziplm
  ☆254Updated 2 years ago
• qianfei11 / ShadowyCompression
  A JPEG Image Compression Service using Part Homomorphic Encryption.
  ☆31Updated 7 months ago
• rodlaf / BinaryGPUIndex
  A GPU Accelerated Binary Vector Store
  ☆47Updated 7 months ago
• mrconter1 / human-level-agi-definition
  ☆30Updated 9 months ago
• ccli3896 / RLWorms
  Setting up C elegans as an RL environment.
  ☆16Updated last year