Train neural networks that distill into logic circuits, using JAX
☆69Jun 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:
- World's first Nintendo 3DS emulator for Apple devices based on Citra.☆18Apr 7, 2023Updated 3 years ago
- Reversing EasyAntiCheat 😎☆15Jun 6, 2026Updated 3 months ago
- Differentiable Logic Networks in PyTorch☆45Updated this week
- A Python-based C compiler for x86-64, featuring full parsing, semantic analysis, IR generation, and assembly code emission.☆27Sep 10, 2025Updated last year
- Code for enumeration from a CFG☆20Sep 25, 2023Updated 2 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.
- yet another scalar autograd engine - featuring complex numbers and fixed DAG☆26Mar 20, 2024Updated 2 years ago
- Simple implementations of Cartesian Genetic Programming (CGP) and Linear Genetic Programming (LGP) in JAX☆11Oct 28, 2025Updated 10 months ago
- Tree-sitter syntax highlighting for code blocks in Typst.☆33Feb 19, 2025Updated last year
- Coq & Haskell code for Calculating Correct Compilers II☆12Feb 22, 2022Updated 4 years ago
- Experimenting with cellular automatas☆16Mar 18, 2021Updated 5 years ago
- Donatello is a DotNet lisp-like language☆10Apr 17, 2020Updated 6 years ago
- Med-NCA: Robust and Lightweight Segmentation with Neural Cellular Automata☆14Jun 2, 2023Updated 3 years ago
- A collection of utilities for working with compiled Python bytecode.☆27Jul 31, 2024Updated 2 years ago
- regexes for trees; grep for s-exprs☆18Jul 22, 2026Updated last month
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- ZiGLM - Zig language implementation of OpenGL Mathematics (GLM) library☆15Nov 11, 2024Updated last year
- Stable Because Stuck: NALU Selects, It Doesn't Compute☆17Sep 9, 2026Updated last week
- Measuring General Intelligence With Generated Games (Preprint)☆25Jul 30, 2025Updated last year
- Student-facing code from the book *Programming Languages: Build, Prove, and Compare* by Norman Ramsey☆35May 18, 2023Updated 3 years ago
- a self-hosting lambda calculus compiler☆36Mar 31, 2025Updated last year
- Semantic find-and-replace using tree-sitter-based macro expansion!☆16Mar 31, 2022Updated 4 years ago
- ☆102Updated this week
- A tool for generating random, syntactically-correct Python code. Designed for fuzzing and testing of tools that parse Python code.☆22Sep 22, 2023Updated 2 years ago
- MonarchAttention: Zero-Shot Conversion to Fast, Hardware-Aware Structured Attention (NeurIPS'25 Spotlight)☆27Feb 22, 2026Updated 6 months ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- ☆33Nov 11, 2024Updated last year
- Working through the Book Lisp In Small Pieces☆13Jun 8, 2022Updated 4 years ago
- ☆15Sep 19, 2024Updated 2 years ago
- Funny little Haskell impl☆18Oct 28, 2020Updated 5 years ago
- A general-purpose language inspired by Scheme and Rust and Haskell and ML and cetera☆21Apr 13, 2022Updated 4 years ago
- A lambda calculus interpreter in python.☆14Jul 1, 2023Updated 3 years ago
- Inference Llama/Llama2/Llama3 Modes in NumPy☆21Nov 22, 2023Updated 2 years ago
- Rules for writing academic papers and checking them using LTex-ls and LanguageTool☆19Feb 18, 2025Updated last year
- ☆20May 31, 2024Updated 2 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- A dynamic interpreted programming language.☆14Nov 23, 2022Updated 3 years ago
- Verified GPU programming framework for Lean 4. Write type-safe WebGPU shaders with formal verification, hardware-accelerated matrix ops, …☆42Aug 30, 2026Updated 2 weeks ago
- [NAACL 2025] Representing Rule-based Chatbots with Transformers☆23Feb 9, 2025Updated last year
- Assembler toolkit: encoding and decoding of various architectures☆46Updated this week
- Sift is a basic, Relational Algebra based query engine built on top of Apache Arrow. It draws inspiration from Andy Grove's KQuery.☆22May 1, 2022Updated 4 years ago
- Low-rank sparse attention decomposition for LLM interpretability; active development continues in Llamascopium☆30Nov 9, 2025Updated 10 months ago
- C# library based on Python 3 itertools☆10Jan 20, 2022Updated 4 years ago