slightknack/difflogic external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

slightknack/difflogic

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/slightknack/difflogic)

Close

slightknack / difflogicView on GitHubMore

• External links
• Readme badge

Train neural networks that distill into logic circuits, using JAX

☆64Jun 9, 2025Updated 9 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.

• vivek3141 / gg-bench

  View on GitHub
  Measuring General Intelligence With Generated Games (Preprint)
  ☆25Jul 30, 2025Updated 7 months ago
• princeton-nlp / ELIZA-Transformer

  View on GitHub
  [NAACL 2025] Representing Rule-based Chatbots with Transformers
  ☆23Feb 9, 2025Updated last year
• OpenMOSS / Lorsa

  View on GitHub
  ☆29Nov 9, 2025Updated 4 months ago
• duterscmy / CD-MoE

  View on GitHub
  Official PyTorch implementation of CD-MOE
  ☆12Updated this week
• asonnino / fraudproofs-prototype

  View on GitHub
  Prototype of fraud proofs.
  ☆12Feb 13, 2022Updated 4 years ago
• Hansimov / practical-malware-analysis

  View on GitHub
  《恶意代码分析实战》实验的个人题解：https://hansimov.gitbook.io/malware-analysis/
  ☆11Nov 14, 2020Updated 5 years ago
• hichamcc / next-portfolio

  View on GitHub
  ☆10Jul 24, 2025Updated 8 months ago
• hyhieu / easy_pybind

  View on GitHub
  ☆32Jun 6, 2024Updated last year
• thingtheory / vote-escrow-nft

  View on GitHub
  ☆11Jan 25, 2022Updated 4 years ago
• strake / cursebox.c

  View on GitHub
  Library for writing text-based user interfaces
  ☆12Dec 22, 2017Updated 8 years ago
• Philogy / smol-huff-deployer

  View on GitHub
  ☆10Mar 2, 2023Updated 3 years ago
• kovart / forta-agents

  View on GitHub
  🌌 Real-time threat detection for smart contracts
  ☆10May 16, 2023Updated 2 years ago
• amorehead / jvp_flash_attention

  View on GitHub
  Flash Attention Triton kernel with support for second-order derivatives
  ☆149Mar 10, 2026Updated last week
• joelburget / microjax

  View on GitHub
  A tiny autograd engine with a Jax-like API
  ☆74Jul 6, 2025Updated 8 months ago
• ElanaPearl / pytorch-mps-noncontiguous-bug

  View on GitHub
  ☆30Oct 22, 2025Updated 5 months ago
• Taymindis / sample-ngx-linkfunc-project

  View on GitHub
  This is the sample application projects of using nginx c function
  ☆11Oct 4, 2020Updated 5 years ago
• pr0toshi / rateLimit

  View on GitHub
  Limits asset outflows from contracts within customisable timeframes
  ☆11May 7, 2022Updated 3 years ago
• aartamonau / cdecl

  View on GitHub
  A program that descrypts C type declarations. Implemented as an exercise for "Expert C Programming" book.
  ☆12Aug 16, 2015Updated 10 years ago
• iankur / vqllm

  View on GitHub
  Residual vector quantization for KV cache compression in large language model
  ☆12Oct 22, 2024Updated last year
• formbio / laava

  View on GitHub
  LAAVA: Long-read AAV Analysis
  ☆13Dec 9, 2025Updated 3 months ago
• genrm-star / genrm-critiques

  View on GitHub
  GenRM-CoT: Data release for verification rationales
  ☆67Oct 16, 2024Updated last year
• AMD-AGI / torchtitan-amd

  View on GitHub
  A PyTorch native platform for training generative AI models
  ☆16Nov 18, 2025Updated 4 months ago
• mkurman / neuroblast-v3

  View on GitHub
  NeuroBLAST v3 architecture code
  ☆36Jan 6, 2026Updated 2 months ago
• davidmcclure / earthxray

  View on GitHub
  See through the world!
  ☆12Dec 2, 2015Updated 10 years ago
• RAIVNLab / LLC

  View on GitHub
  ☆13Oct 29, 2021Updated 4 years ago
• Echsecutor / coffee

  View on GitHub
  coffee stains package for latex
  ☆12Dec 7, 2020Updated 5 years ago
• DEShawResearch / Technical-Reports

  View on GitHub
  D. E. Shaw Research Technical Reports
  ☆13Jul 4, 2022Updated 3 years ago
• wenquanlu / huginn-latent-cot

  View on GitHub
  [COLM 2025: 1st Workshop on the Application of LLM Explainability to Reasoning and Planning] Latent Chain-of-Thought? Decoding the Depth-…
  ☆17Oct 4, 2025Updated 5 months ago
• ysngki / UMoE

  View on GitHub
  ☆21Oct 22, 2025Updated 5 months ago
• mpu / re

  View on GitHub
  Minimal and fast regular expression library for C.
  ☆21Jun 4, 2013Updated 12 years ago
• ivanperez-keera / forks-fallingblocks

  View on GitHub
  A mirror of fallingblocks (with minor updates)
  ☆12Apr 16, 2015Updated 10 years ago
• HazyResearch / bwler

  View on GitHub
  Official repo for BWLer: Barycentric Weight Layer
  ☆30Updated this week
• mirror / wiimms-iso-tools

  View on GitHub
  http://opensvn.wiimm.de/wii/branches/public/wiimms-iso-tools
  ☆11Sep 27, 2024Updated last year
• jordanteague / sandbox

  View on GitHub
  ☆12Jun 11, 2022Updated 3 years ago
• ekrsulov / vectornest

  View on GitHub
  Web-based svg editor with plugin-centric architecture
  ☆33Mar 16, 2026Updated last week
• ababaian / bioFreelancers

  View on GitHub
  Freelance bioinformaticians directory
  ☆10Feb 10, 2023Updated 3 years ago
• RobertCsordas / onion_representations

  View on GitHub
  ☆13Aug 19, 2024Updated last year
• smonsays / contrastive-meta-learning

  View on GitHub
  Code accompanying the paper "A contrastive rule for meta-learning"
  ☆13Oct 31, 2024Updated last year
• arc-community / arc-generative-DSL-infinite-data

  View on GitHub
  slowly building a set of infinite riddle generators for data-hungry methods
  ☆14Nov 15, 2022Updated 3 years ago