An educational implementation of some aspects of the DisCoCat framework
☆11Mar 17, 2023Updated 3 years ago
Alternatives and similar repositories for discokitty
Users that are interested in discokitty are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Quantum Natural Language Processing (QNLP)'s project repository for Qiskit Hackathon Europe.☆16Sep 4, 2024Updated 2 years ago
- An extended typed Lambda Calculus☆22Aug 20, 2026Updated last month
- Existential witnesses, singletons, and classes for operations on GHC TypeLits☆16Jul 25, 2024Updated 2 years ago
- Types and classes for defining JSON schemas.☆23Oct 3, 2018Updated 8 years ago
- ☆11Nov 5, 2015Updated 10 years 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.
- Concurrency features for the Haskell machines package☆16Mar 11, 2022Updated 4 years ago
- ☆11Jul 2, 2024Updated 2 years ago
- Rust on the Quansheng UV-K5 Radio☆11Jul 9, 2024Updated 2 years ago
- ICHEC Quantum natural language processing (QNLP) toolkit☆44Oct 1, 2020Updated 6 years ago
- STT Service based on Kaldi ASR☆15Aug 17, 2018Updated 8 years ago
- A clojure implementation of parsing with derivatives☆17Mar 6, 2014Updated 12 years ago
- A collection of bioinformatics algorithms☆12Aug 20, 2022Updated 4 years ago
- string diagrams for the working programmer☆16Jul 17, 2023Updated 3 years ago
- Easy training for Sparse Linear Autoencoders (https://arxiv.org/abs/2309.08600) with data from TransformerLens models.☆12Nov 1, 2023Updated 2 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- The Compositionality article class.☆14Mar 16, 2026Updated 7 months ago
- Mycobacterium tuberculosis complex lineage typing☆11Jun 22, 2025Updated last year
- My exposition of the formalization of Hegel's theory in modal homotopy type theory☆14Aug 18, 2023Updated 3 years ago
- A web app for your finances☆12May 24, 2020Updated 6 years ago
- Create string diagrams with LaTeX!☆14Jan 3, 2025Updated last year
- A 65C02 Assembly eDSL in Haskell☆18May 31, 2018Updated 8 years ago
- Mycobacterial pipeline☆11Sep 11, 2025Updated last year
- A simple semi-supervised approach for creating huggingface data script loaders and upload to the hub.☆11Jun 23, 2024Updated 2 years ago
- Lennart Augustsson's lamda cube☆12Jul 13, 2016Updated 10 years ago
- 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.
- Ampseer examines reads in fastq format and identifies which multiplex PCR primer set was used to generate the SARS-CoV-2 sequencing libra…☆15Feb 27, 2024Updated 2 years ago
- Code to reproduce key results accompanying "SAEs (usually) Transfer Between Base and Chat Models"☆13Jul 18, 2024Updated 2 years ago
- Trabajo Fin de Grado: Curvas Elípticas en Criptografía☆10Jul 14, 2016Updated 10 years ago
- Source for lemon-model.net☆15Jan 27, 2022Updated 4 years ago
- Ever been so pissed you rewrote a 4500 line Java project into 300 lines of Haskell?☆14Oct 4, 2020Updated 6 years ago
- Repo for PrimerSchemes☆20Sep 14, 2026Updated last month
- ☆15Sep 29, 2022Updated 4 years ago
- A reimplementation of GHC's runtime system in Rust☆15Apr 29, 2014Updated 12 years ago
- Repository for paper Decrypting Cryptic Crosswords☆11Jan 15, 2022Updated 4 years 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.
- JSON helpers for vimscript☆11Apr 14, 2016Updated 10 years ago
- ☆14Feb 25, 2019Updated 7 years ago
- Tool for Configuring Jails, ZFS and pf on FreeBSD☆20Apr 14, 2019Updated 7 years ago
- R package for data preprocessing☆13Dec 18, 2019Updated 6 years ago
- ☆14Nov 23, 2016Updated 9 years ago
- A dataset with more than 84,000 manually annotated AMR graphs for 1,685 information-seeking utterances mapped to 50+ typologically divers…☆12Jun 25, 2024Updated 2 years ago
- Rust bindings for the tskit library☆18Updated this week