Train neural networks that distill into logic circuits, using JAX
☆67Jun 9, 2025Updated last year
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:
- [EMNLP 2024] Quantize LLM to extremely low-bit, and finetune the quantized LLMs☆15Jul 18, 2024Updated last year
- This is like Inverting Binary Tree, but instead of a Binary Tree it's a File Tree.☆11Apr 21, 2021Updated 5 years ago
- The code for "AttentionPredictor: Temporal Pattern Matters for Efficient LLM Inference", Qingyue Yang, Jie Wang, Xing Li, Zhihai Wang, Ch…☆29Jul 15, 2025Updated 11 months ago
- terminal-based cellular automata playground☆19Jul 9, 2025Updated 11 months ago
- [NAACL 2025] Representing Rule-based Chatbots with Transformers☆23Feb 9, 2025Updated last year
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- ☆30Nov 9, 2025Updated 7 months ago
- Semantic find-and-replace using tree-sitter-based macro expansion!☆16Mar 31, 2022Updated 4 years ago
- Messing around with delimited continuations, fibers, and algebraic effects☆16Oct 2, 2021Updated 4 years ago
- Offical implementation of "MetaLA: Unified Optimal Linear Approximation to Softmax Attention Map" (NeurIPS2024 Oral)☆36Jan 18, 2025Updated last year
- Standalone commandline CLI tool for compiling Triton kernels☆20Sep 13, 2024Updated last year
- Chess Portable Game Notation (PGN) grammar for tree-sitter☆18Updated this week
- Official PyTorch implementation of CD-MOE☆12Mar 18, 2026Updated 2 months ago
- Prototype of fraud proofs.☆12Feb 13, 2022Updated 4 years ago
- ☆10Apr 14, 2026Updated 2 months ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- ☆20May 3, 2022Updated 4 years ago
- ☆32Jun 6, 2024Updated 2 years ago
- [NAACL'25 🏆 SAC Award] Official code for "Advancing MoE Efficiency: A Collaboration-Constrained Routing (C2R) Strategy for Better Expert…☆16Feb 4, 2025Updated last year
- the dynabook but for haskell☆23Sep 23, 2019Updated 6 years ago
- ☆11Jan 25, 2022Updated 4 years ago
- Understanding deep networks and large models.☆28Jan 23, 2026Updated 4 months ago
- ☆10Mar 2, 2023Updated 3 years ago
- ☆10Jun 29, 2021Updated 4 years ago
- 🌌 Real-time threat detection for smart contracts☆10May 16, 2023Updated 3 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Reference implementation of models from Nyonic Model Factory☆12May 13, 2024Updated 2 years ago
- Set up a forge testing env instantly w/ ds-test, solmate + openzeppelin preinstalled.☆10Apr 14, 2026Updated 2 months ago
- [DEPRECATED] A zero-dependency, modern dialog library that is highly configurable and easy to style.☆10Aug 9, 2016Updated 9 years ago
- ☆30Oct 22, 2025Updated 7 months ago
- A tiny autograd engine with a Jax-like API☆75Jul 6, 2025Updated 11 months ago
- 🎓Automatically Update circult-eda-mlsys-tinyml Papers Daily using Github Actions (Update Every 8th hours)☆10Updated this week
- Secure Software Supply Chain Demonstration with Nix☆19May 13, 2025Updated last year
- FeRTOS is a simple "operating system" that currently supports ARM Cortex-M CPUs☆12Jul 9, 2022Updated 3 years ago
- yes(1), silly edition☆12May 9, 2026Updated last month
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- A program that descrypts C type declarations. Implemented as an exercise for "Expert C Programming" book.☆12Aug 16, 2015Updated 10 years ago
- Clustered Compositional Embeddings☆13Oct 25, 2023Updated 2 years 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
- set of ELF tools☆12Sep 1, 2015Updated 10 years ago
- Analysis on stop reasons☆10Jun 17, 2024Updated last year
- H2-LLM: Hardware-Dataflow Co-Exploration for Heterogeneous Hybrid-Bonding-based Low-Batch LLM Inference☆108Apr 26, 2025Updated last year