slightknack / difflogicLinks
Train neural networks that distill into logic circuits, using JAX
☆49Updated this week
Alternatives and similar repositories for difflogic
Users that are interested in difflogic are comparing it to the libraries listed below
Sorting:
- The Finite Field Assembly Programming Language☆37Updated 2 weeks ago
- Pytorch script hot swap: Change code without unloading your LLM from VRAM☆126Updated last month
- Docker in 600 lines of bash using proot☆16Updated 4 years ago
- Craziness.☆29Updated 3 months ago
- LD_PRELOADable library for exploring the glibc heap☆107Updated 2 months ago
- A probabilistic approximate DNF counter☆37Updated last month
- A fork of llama3.c used to do some R&D on inferencing☆22Updated 5 months ago
- Framework for specifying and proving properties—such as robustness, fairness, and interpretability—of machine learning models using Lean …☆62Updated 2 months ago
- Various implementation of byte matrix multiplication☆26Updated 4 months ago
- Setting up C elegans as an RL environment.☆15Updated last year
- 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
- Heirarchical Navigable Small Worlds☆96Updated last month
- A GPU Accelerated Binary Vector Store☆47Updated 3 months ago
- Code sample showing how to run and benchmark models on Qualcomm's Window PCs☆97Updated 8 months ago
- ☆34Updated 4 months ago
- ☆121Updated last week
- A Full Transcript of the Lighthill Debate on AI from 1973, with Introductory Remarks☆30Updated last year
- A playground to make it easy to try crazy things☆33Updated last month
- Can I make an *optimizing* compiler under 1k lines of code?☆58Updated 3 months ago
- A star for organising blocks and playing with transformers.☆23Updated last year
- tiny code to access tenstorrent blackhole☆48Updated last week
- Brzozowski derivative python sketch☆85Updated 2 months ago
- A library for incremental loading of large PyTorch checkpoints☆56Updated 2 years ago
- ☆22Updated 8 months ago
- Pivotal Token Search☆97Updated 2 weeks ago
- a categorical deep learning compiler☆202Updated 3 months ago
- Code for the Fractured Entangled Representation Hypothesis position paper!☆94Updated 2 weeks ago
- Compiling C to FlipJump☆89Updated 4 months ago
- 8-bit computational substrates☆41Updated 11 months ago
- ☆65Updated 2 weeks ago