Exactly what it says on the tin.
☆20Oct 10, 2017Updated 8 years ago
Alternatives and similar repositories for dissertation
Users that are interested in dissertation are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- microKanren sagittarius/larceny☆11Jun 13, 2015Updated 11 years ago
- Explain semver requirements by converting them into less than, greater than, and/or equal to form.☆33Jan 26, 2024Updated 2 years ago
- The LVish Haskell library☆81Oct 27, 2022Updated 3 years ago
- Utility for finding all Git repositories that need attention☆17Mar 17, 2026Updated 4 months ago
- helmfile wrapper for writing helmfiles in nix syntax☆20Aug 3, 2026Updated last week
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- A simple, unoptimized, purely functional Datalog implementation.☆12Aug 13, 2025Updated 11 months ago
- Emacs major mode for Alloy☆13Jul 14, 2018Updated 8 years ago
- Modular type class machinery for monad transformer stacks.☆32Aug 16, 2018Updated 7 years ago
- fully automated NixOS CLI installer☆25Jul 24, 2026Updated 2 weeks ago
- JavaScript port of lmfit☆15Jan 13, 2023Updated 3 years ago
- All those parentheses got you down? How about some XML?☆17Apr 1, 2013Updated 13 years ago
- a logic-based trust-management system☆19Sep 17, 2012Updated 13 years ago
- A crate to read Clojure.☆22Aug 2, 2026Updated last week
- ghc --make reimplemented with Shake☆32Sep 29, 2023Updated 2 years ago
- 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.
- APL parser written in Standard ML☆18Jun 17, 2016Updated 10 years ago
- Command line tool to delete cabal library packages☆24Mar 21, 2015Updated 11 years ago
- APL-like functions for use from Lua.☆18Mar 23, 2015Updated 11 years ago
- Pure Rust Whisper File Library☆11Mar 28, 2018Updated 8 years ago
- Collection of SHIRO Plugins for the MOD Duo made in MAX Gen~☆25Nov 9, 2020Updated 5 years ago
- Python binding to the heatshrink library☆18Dec 6, 2022Updated 3 years ago
- 📮 A server that provides you an infinite number of mailboxes that you can check via a REST API☆14Mar 25, 2022Updated 4 years ago
- Simple modal text editor in Elm☆11May 21, 2015Updated 11 years ago
- HaVSA (Have-Saa) is a Haskell implementation of the Version Space Algebra Machine Learning technique described by Tessa Lau.☆12Jul 8, 2017Updated 9 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.
- ☆37Jan 11, 2025Updated last year
- Then comes thunder.☆22May 18, 2016Updated 10 years ago
- ☆16Mar 22, 2025Updated last year
- ScopeT and ScopeH☆13Aug 3, 2024Updated 2 years ago
- Jupyter notebooks showing to implement statistical functions.☆14Jun 14, 2020Updated 6 years ago
- ☆14Apr 17, 2022Updated 4 years ago
- Small example MirageOS unikernels.☆16Jun 14, 2019Updated 7 years ago
- java heatshrink☆11Oct 19, 2022Updated 3 years ago
- A toy array language inspired by J, K, and APL.☆12Dec 28, 2025Updated 7 months 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.
- MD5 core in verilog☆13May 1, 2012Updated 14 years ago
- Smuggle arbitrary values in ()☆12Apr 18, 2023Updated 3 years ago
- Relational interpreter in miniKanren that can generate quines☆131Jan 29, 2015Updated 11 years ago
- wrapper for sqlite3☆19Jul 6, 2010Updated 16 years ago
- This package contains a lightweight deductive database system in OCaml☆40Dec 15, 2021Updated 4 years ago
- Statistics package for Haskell based on hmatrix☆13Aug 6, 2020Updated 6 years ago
- Hardware and Firmware for the CHCon 2018 badge☆10Nov 5, 2018Updated 7 years ago