More stable versions of some articles from my blog
☆37Apr 23, 2025Updated 10 months ago
Alternatives and similar repositories for StableBlog
Users that are interested in StableBlog are comparing it to the libraries listed below
Sorting:
- Ideas, documents, and tutorial pile for the Prowl Language☆12Aug 2, 2024Updated last year
- Types for ldtk☆16Apr 13, 2024Updated last year
- Succinct binary serialization☆15Aug 26, 2018Updated 7 years ago
- Student-facing code from the book *Programming Languages: Build, Prove, and Compare* by Norman Ramsey☆32May 18, 2023Updated 2 years ago
- An Android app to browse GitHub repositories☆15Nov 17, 2025Updated 3 months ago
- Classical Logic in Haskell☆24Nov 19, 2025Updated 3 months ago
- A Haskell library for on-disk tables based on LSM-Trees☆51Updated this week
- repo for fashion business/ideas/etc.☆22Jan 1, 2020Updated 6 years ago
- Python notes☆10Aug 13, 2022Updated 3 years ago
- A game introducing proofs, dependent type theory, and Lean prepared for a first year seminar course at Johns Hopkins in Fall 2025.☆54Dec 29, 2025Updated 2 months ago
- Scheme implementation based on a paper.☆19Jul 19, 2020Updated 5 years ago
- A haskell implementation of the Cassowary linear programming solver.☆23Sep 19, 2020Updated 5 years ago
- GHC plugin for open telemetry☆27Jun 5, 2025Updated 8 months ago
- Slides & demos for talks I do☆58Oct 3, 2025Updated 4 months ago
- Small implementation of OutsideIn(X) type checking algorithm☆31Apr 13, 2015Updated 10 years ago
- Summaries of intro and advanced miniKanren hangout series☆28Dec 18, 2017Updated 8 years ago
- Delete half (minus ε) of your Haskell code!☆30Feb 13, 2026Updated 2 weeks ago
- Session demos for Build AI Apps at Fabric Conference 2024☆10Jul 3, 2024Updated last year
- GHC plugin to branch on whether a constraint is satisfied☆33Jul 29, 2025Updated 7 months ago
- Annotated Scala version of Oleg's Typed Tagless Final Interpreters: Lecture Notes☆32Aug 20, 2017Updated 8 years ago
- ☆10Nov 14, 2018Updated 7 years ago
- An implementation of interaction nets as a forth-like language.☆45Nov 16, 2025Updated 3 months ago
- Typed, schema-based, composable Redis library for Haskell☆10Dec 10, 2025Updated 2 months ago
- Method of sizing on-prem Oracle databases in Azure according to actual usage information from Oracle AWR☆10Oct 17, 2025Updated 4 months ago
- The Haskell Foundation website, hosted by GitHub Pages.☆41Feb 16, 2026Updated last week
- Code related to the Low Level C# course.☆12Nov 16, 2022Updated 3 years ago
- use an LLM to translate purpose-statements into code to evaluate their quality☆11Apr 3, 2024Updated last year
- A thin scala wrapper for Java NIO.2, built on cats-effect 🐱☆12Jun 19, 2023Updated 2 years ago
- Multi Dimensional Identity Protocol (MDIP) reference implementation☆13Updated this week
- ☆41Nov 9, 2023Updated 2 years ago
- Compare the public API of different versions of a Hackage library☆62May 2, 2018Updated 7 years ago
- Learn how to write a programming language from scratch!☆47Aug 4, 2024Updated last year
- Experiments with the Verse Calculus in miniKanren☆14Sep 17, 2023Updated 2 years ago
- ☆10Mar 21, 2023Updated 2 years ago
- Semantic Ranking Solution for Azure Database for PostgreSQL☆14Apr 29, 2025Updated 10 months ago
- A regular expression parser written in JavaScript☆10Feb 24, 2021Updated 5 years ago
- Regular Chat Application with multiple chat sessions and multiple users☆16Apr 25, 2023Updated 2 years ago
- Yet another Scheme interpreter.☆11Sep 17, 2022Updated 3 years ago
- Exercises and projects for Jane Street's OCaml Workshop☆10Oct 28, 2023Updated 2 years ago