Alternatives and similar repositories for difflogic

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

• LeetArxiv / Finite-Field-Assembly
  The Finite Field Assembly Programming Language
  ☆37Updated 2 weeks ago
• valine / training-hot-swap
  Pytorch script hot swap: Change code without unloading your LLM from VRAM
  ☆126Updated last month
• hkoosha / bag
  Docker in 600 lines of bash using proot
  ☆16Updated 4 years ago
• ClemHeyd / PCR7500
  Craziness.
  ☆29Updated 3 months ago
• heap-exploitation / heap-explorer
  LD_PRELOADable library for exploring the glibc heap
  ☆107Updated 2 months ago
• meelgroup / pepin
  A probabilistic approximate DNF counter
  ☆37Updated last month
• ryao / llama3.c
  A fork of llama3.c used to do some R&D on inferencing
  ☆22Updated 5 months ago
• fraware / leanverifier
  Framework for specifying and proving properties—such as robustness, fairness, and interpretability—of machine learning models using Lean …
  ☆62Updated 2 months ago
• serge-sans-paille / i8mm
  Various implementation of byte matrix multiplication
  ☆26Updated 4 months ago
• ccli3896 / RLWorms
  Setting up C elegans as an RL environment.
  ☆15Updated last year
• Taiters / sudoku-solver
  A visual sudoku solver which runs in the web browser. Built using OpenCV and Tensorflow to identify the sudoku grid, recognise digits, an…
  ☆56Updated 9 months ago
• dicroce / hnsw
  Heirarchical Navigable Small Worlds
  ☆96Updated last month
• rodlaf / BinaryGPUIndex
  A GPU Accelerated Binary Vector Store
  ☆47Updated 3 months ago
• usefulsensors / qc_npu_benchmark
  Code sample showing how to run and benchmark models on Qualcomm's Window PCs
  ☆97Updated 8 months ago
• westoncb / nonlinear-optics-sandbox
  ☆34Updated 4 months ago
• brianmg / voynich-nlp-analysis
  ☆121Updated last week
• Dicklesworthstone / the_lighthill_debate_on_ai
  A Full Transcript of the Lighthill Debate on AI from 1973, with Introductory Remarks
  ☆30Updated last year
• jmward01 / lmplay
  A playground to make it easy to try crazy things
  ☆33Updated last month
• ssloy / tinyoptimizer
  Can I make an *optimizing* compiler under 1k lines of code?
  ☆58Updated 3 months ago
• rayking99 / BlockStar
  A star for organising blocks and playing with transformers.
  ☆23Updated last year
• geohot / tt-tiny
  tiny code to access tenstorrent blackhole
  ☆48Updated last week
• c0stya / brzozowski
  Brzozowski derivative python sketch
  ☆85Updated 2 months ago
• kir-gadjello / zipslicer
  A library for incremental loading of large PyTorch checkpoints
  ☆56Updated 2 years ago
• tekknolagi / db.py
  ☆22Updated 8 months ago
• codelion / pts
  Pivotal Token Search
  ☆97Updated 2 weeks ago
• statusfailed / catgrad
  a categorical deep learning compiler
  ☆202Updated 3 months ago
• akarshkumar0101 / fer
  Code for the Fractured Entangled Representation Hypothesis position paper!
  ☆94Updated 2 weeks ago
• tomhea / c2fj
  Compiling C to FlipJump
  ☆89Updated 4 months ago
• znah / zff
  8-bit computational substrates
  ☆41Updated 11 months ago
• gvelesandro / constructor-theory-simulator
  ☆65Updated 2 weeks ago