Train neural networks that distill into logic circuits, using JAX
☆67Jun 9, 2025Updated 11 months ago
Alternatives and similar repositories for difflogic
Users that are interested in difflogic are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Coq & Haskell code for Calculating Correct Compilers II☆12Feb 22, 2022Updated 4 years ago
- The code for "AttentionPredictor: Temporal Pattern Matters for Efficient LLM Inference", Qingyue Yang, Jie Wang, Xing Li, Zhihai Wang, Ch…☆28Jul 15, 2025Updated 10 months ago
- ☆29Nov 9, 2025Updated 6 months ago
- ☆33Nov 11, 2024Updated last year
- Messing around with delimited continuations, fibers, and algebraic effects☆16Oct 2, 2021Updated 4 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Standalone commandline CLI tool for compiling Triton kernels☆20Sep 13, 2024Updated last year
- FlightForge: An open source Unreal engine based quadcopter simulator☆22Mar 3, 2026Updated 2 months ago
- Haskell + Nix project setup Cookiecutter template☆11Feb 19, 2021Updated 5 years ago
- Chess Portable Game Notation (PGN) grammar for tree-sitter☆18Apr 13, 2026Updated last month
- Prototype of fraud proofs.☆12Feb 13, 2022Updated 4 years ago
- the long awaited secret source of the university request detection API worker☆11Dec 20, 2020Updated 5 years ago
- ☆32Jun 6, 2024Updated last year
- [NAACL'25 🏆 SAC Award] Official code for "Advancing MoE Efficiency: A Collaboration-Constrained Routing (C2R) Strategy for Better Expert…☆16Feb 4, 2025Updated last year
- Understanding deep networks and large models.☆28Jan 23, 2026Updated 4 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- ☆17Feb 23, 2025Updated last year
- Timer app tailored for Free Methodist Bible Quizzing☆16Apr 24, 2026Updated last month
- ☆10Jun 29, 2021Updated 4 years ago
- 🌌 Real-time threat detection for smart contracts☆10May 16, 2023Updated 3 years ago
- Reference implementation of models from Nyonic Model Factory☆12May 13, 2024Updated 2 years ago
- A JupyterLab gallery for presenting and downloading examples☆12Feb 27, 2026Updated 2 months ago
- Play code with online playgrounds☆13Mar 22, 2020Updated 6 years ago
- A tiny autograd engine with a Jax-like API☆75Jul 6, 2025Updated 10 months ago
- ☆30Oct 22, 2025Updated 7 months ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- [CVPR 2026 🔥] Time Blindness: Why Video-Language Models Can't See What Humans Can?☆62Jan 28, 2026Updated 3 months ago
- MoE-Visualizer is a tool designed to visualize the selection of experts in Mixture-of-Experts (MoE) models.☆16Apr 8, 2025Updated last year
- Clustered Compositional Embeddings☆13Oct 25, 2023Updated 2 years ago
- LAAVA: Long-read AAV Analysis☆13Dec 9, 2025Updated 5 months ago
- This repository contains the code for the paper "TaylorShift: Shifting the Complexity of Self-Attention from Squared to Linear (and Back)…☆15Feb 25, 2026Updated 3 months ago
- Residual vector quantization for KV cache compression in large language model☆12Oct 22, 2024Updated last year
- A PyTorch native platform for training generative AI models☆17Apr 21, 2026Updated last month
- [NAACL 2025] A Closer Look into Mixture-of-Experts in Large Language Models☆61Feb 7, 2025Updated last year
- ☆13Oct 29, 2021Updated 4 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- KAF : Kolmogorov-Arnold Fourier Networks☆22Feb 19, 2025Updated last year
- ☆16Dec 9, 2023Updated 2 years ago
- D. E. Shaw Research Technical Reports☆13Jul 4, 2022Updated 3 years ago
- ☆23Oct 22, 2025Updated 7 months ago
- [COLM 2025: 1st Workshop on the Application of LLM Explainability to Reasoning and Planning] Latent Chain-of-Thought? Decoding the Depth-…☆18Oct 4, 2025Updated 7 months ago
- The code of SpikingSSMs: Learning Long Sequences with Sparse and Parallel Spiking State Space Models☆23Mar 25, 2026Updated 2 months ago
- Execute with Python Virtual Environment Activated☆17Nov 12, 2024Updated last year