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
  ☆97Updated this week
• hkoosha / bag
  Docker in 600 lines of bash using proot
  ☆16Updated 4 years ago
• LeetArxiv / Finite-Field-Assembly
  The Finite Field Assembly Programming Language
  ☆37Updated last month
• valine / training-hot-swap
  Pytorch script hot swap: Change code without unloading your LLM from VRAM
  ☆126Updated 2 months ago
• serge-sans-paille / i8mm
  Various implementation of byte matrix multiplication
  ☆26Updated 5 months ago
• meelgroup / pepin
  A probabilistic approximate DNF counter
  ☆37Updated 3 weeks ago
• blackhole89 / autopen
  Editor with LLM generation tree exploration
  ☆68Updated 4 months ago
• qianfei11 / ShadowyCompression
  A JPEG Image Compression Service using Part Homomorphic Encryption.
  ☆31Updated 3 months ago
• geohot / tt-tiny
  tiny code to access tenstorrent blackhole
  ☆52Updated last month
• tinygrad / tinyos
  ☆34Updated this week
• jart / matmul
  ☆18Updated 11 months ago
• ssloy / tinyoptimizer
  Can I make an *optimizing* compiler under 1k lines of code?
  ☆60Updated 4 months ago
• ryao / llama3.c
  A fork of llama3.c used to do some R&D on inferencing
  ☆22Updated 6 months ago
• rayking99 / BlockStar
  A star for organising blocks and playing with transformers.
  ☆23Updated 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 10 months ago
• heap-exploitation / heap-explorer
  LD_PRELOADable library for exploring the glibc heap
  ☆107Updated 3 months ago
• mrconter1 / human-level-agi-definition
  ☆30Updated 6 months ago
• tekknolagi / db.py
  ☆22Updated 9 months ago
• vagos / llm-interpolate
  Interpolate between embedding points with llm
  ☆37Updated 11 months ago
• rodlaf / BinaryGPUIndex
  A GPU Accelerated Binary Vector Store
  ☆47Updated 4 months ago
• moonshine-ai / qc_npu_benchmark
  Code sample showing how to run and benchmark models on Qualcomm's Window PCs
  ☆99Updated 8 months ago
• ClemHeyd / PCR7500
  Craziness.
  ☆29Updated 4 months ago
• furiousteabag / vram-calculator
  Transformer GPU VRAM estimator
  ☆65Updated last year
• RalfJung / bubblebox
  Simple Application Sandboxing
  ☆19Updated 10 months ago
• fraware / leanverifier
  Framework for specifying and proving properties—such as robustness, fairness, and interpretability—of machine learning models using Lean …
  ☆63Updated 3 months ago
• dicroce / hnsw
  Heirarchical Navigable Small Worlds
  ☆97Updated 2 months ago
• jmward01 / lmplay
  A playground to make it easy to try crazy things
  ☆33Updated last week
• imihajlow / ccpu-cc
  A C11 compiler for the discrete logic computer
  ☆20Updated last year
• cjpais / whisperfile
  ☆57Updated 10 months ago
• ccli3896 / RLWorms
  Setting up C elegans as an RL environment.
  ☆15Updated last year