Train neural networks that distill into logic circuits, using JAX
☆64Jun 9, 2025Updated 8 months ago
Alternatives and similar repositories for difflogic
Users that are interested in difflogic are comparing it to the libraries listed below
Sorting:
- A framework that predicts the molecular structure when given Infrared and 13C Nuclear magnetic resonance spectra without referring to any…☆10Jan 17, 2024Updated 2 years ago
- Benchmarking of 1D pattern classification networks☆10Jul 19, 2023Updated 2 years ago
- 🌌 Real-time threat detection for smart contracts☆10May 16, 2023Updated 2 years ago
- This jupyter notebook is part of the lecture "Data Science for Raman spectroscopy" imparted by Nicolás Coca-López during the Hands-on Wor…☆13Jan 15, 2023Updated 3 years ago
- Analysis on stop reasons☆10Jun 17, 2024Updated last year
- This repo contains demonstrations of an extensible Crystal Structure Type Recognition Network (CSTRNet), which consists of a variable num…☆12May 21, 2024Updated last year
- LAAVA: Long-read AAV Analysis☆13Dec 9, 2025Updated 2 months ago
- CWTS OpenAlex ETL data pipeline.☆16Oct 29, 2025Updated 4 months ago
- Opinionated tool to typeset theorems, lemmas and such☆28Feb 4, 2026Updated 3 weeks ago
- Implementation of UniSpec, a deep learning model for predicting full fragment ion peptide spectra.☆12Feb 11, 2025Updated last year
- Fundamentals public repo☆12Updated this week
- Prototype of fraud proofs.☆12Feb 13, 2022Updated 4 years ago
- Noise learning for Raman microscopy☆13Dec 15, 2023Updated 2 years ago
- R functions for automation of biomarker discovery based on processing downstream of large LC-MS datasets from any peak picking software☆10May 17, 2017Updated 8 years ago
- Introduction to neuroimaging machine learning tool Nilearn☆12Oct 24, 2024Updated last year
- ☆11Nov 30, 2024Updated last year
- Autonomous and accurate clustering of co-localized ion images in a self-supervised manner.☆11Dec 22, 2021Updated 4 years ago
- Lipid identification software for discovery LC-MS/MS☆12Mar 29, 2019Updated 6 years ago
- This package is archived and further developed under the name RFSurrogates. In this R-package functions are provided to select important …☆11Jul 27, 2023Updated 2 years ago
- ☆12Apr 24, 2020Updated 5 years ago
- Framework for Raman spectroscopy analysis☆18May 19, 2024Updated last year
- The Database Infrastructure for Mass Spectrometry (DIMSpec) project☆26Jun 27, 2025Updated 8 months ago
- Environment modules for the ILRI, Nairobi HPC cluster☆11Feb 9, 2026Updated 3 weeks ago
- Script version of Soft Potato, the electrochemistry simulator.☆11Dec 17, 2025Updated 2 months ago
- Reference implementation of models from Nyonic Model Factory☆12May 13, 2024Updated last year
- Collisional cross-section prediction for modified and multiconformational peptides☆13Feb 18, 2026Updated last week
- LipidCreator is a powerful stand alone kick-off tool for targeted lipidomics and a plugin for Skyline. It provides convenient tools to ge…☆11Updated this week
- TMNDB/TVDB Mapping Assistant for PlexAniSync, for contribution to the custom mappings project.☆14Feb 13, 2025Updated last year
- ☆10Oct 30, 2024Updated last year
- NMR structure elucidation☆18Jun 16, 2025Updated 8 months ago
- Residual vector quantization for KV cache compression in large language model☆11Oct 22, 2024Updated last year
- berg 🦀 Transform the contents of Epub documents.☆10Apr 27, 2023Updated 2 years ago
- Run all the tests at the same time with modal.com☆11Mar 2, 2024Updated last year
- [ICLR 2025 SynthData Workshop Spotlight] Empowering LLMs in Decision Games through Algorithmic Data Synthesis☆26Apr 27, 2025Updated 10 months ago
- ☆14Dec 27, 2022Updated 3 years ago
- ☆11Dec 5, 2024Updated last year
- Official implementation of CytoSAE: Interpretable Cell Embeddings for Hematology☆22Jul 17, 2025Updated 7 months ago
- ☆15May 11, 2025Updated 9 months ago
- [COLM 2025: 1st Workshop on the Application of LLM Explainability to Reasoning and Planning] Latent Chain-of-Thought? Decoding the Depth-…☆17Oct 4, 2025Updated 4 months ago