barry-jay-personal / blogView external linksLinks
a general blog about my projects, or anything
☆23Jul 18, 2025Updated 6 months ago
Alternatives and similar repositories for blog
Users that are interested in blog are comparing it to the libraries listed below
Sorting:
- A desktop application that allows you to record audio from specific applications on Linux. Built with Deno, Svelte, and WebView.☆15Jan 19, 2026Updated 3 weeks ago
- Specification of the Cedille Core language☆35Jul 21, 2020Updated 5 years ago
- ☆14Feb 8, 2026Updated last week
- Translate semantic database language Xplain to SQL☆10Feb 1, 2021Updated 5 years ago
- This is home for the Migration Theme for WordPress - the starting point for your next migration project.☆25May 24, 2013Updated 12 years ago
- A blazingly-fast, hackable linter☆10Apr 15, 2025Updated 10 months ago
- ☆17Jan 3, 2025Updated last year
- Maze generation & solving with Python☆10Oct 2, 2021Updated 4 years ago
- ☆10Jun 2, 2020Updated 5 years ago
- Copied from https://bitbucket.org/kztk/partially-reversible-lang-impl/☆12Jan 15, 2026Updated last month
- Examples and support libraries for the amdgpu Rust target☆15Dec 4, 2025Updated 2 months ago
- Pony bindings for libmysqlclient☆12Jun 5, 2018Updated 7 years ago
- Gatelogic - Somewhat reactive programming framework in Python☆11Sep 25, 2024Updated last year
- Write a shell in Python☆10Sep 27, 2018Updated 7 years ago
- Concurrency features for the Haskell machines package☆16Mar 11, 2022Updated 3 years ago
- ☆10Feb 11, 2020Updated 6 years ago
- Haskell Hoogle search in Visual Studio Code☆13Sep 9, 2018Updated 7 years ago
- Functional Iterator for python☆11May 17, 2021Updated 4 years ago
- A Matrix chat client☆14Feb 1, 2026Updated 2 weeks ago
- Introduction to Python Programming Class☆11Oct 16, 2014Updated 11 years ago
- Lens combinators for fused-effects.☆17Oct 19, 2020Updated 5 years ago
- A normalizing interpreter for the untyped λ-calculus in 292 characters of Haskell☆10Mar 8, 2016Updated 9 years ago
- small script for managing google scholar alert emails☆11May 6, 2023Updated 2 years ago
- A Lean 4 formalization of Pólya enumeration theorem.☆21Jun 6, 2025Updated 8 months ago
- ☆11Jul 2, 2024Updated last year
- Self-contained JBIG2 compressor for PDF files☆14Jul 24, 2017Updated 8 years ago
- Existential witnesses, singletons, and classes for operations on GHC TypeLits☆16Jul 25, 2024Updated last year
- Cap’n Proto plugin for generating serializable Pony classes. - 'n☆19Apr 7, 2018Updated 7 years ago
- IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections☆15Feb 22, 2018Updated 7 years ago
- Dan Bernstein's ptyget package☆11Jan 21, 2015Updated 11 years ago
- Build languages on Python.☆12May 2, 2021Updated 4 years ago
- Coq implementation of SF-calculus and the tranlsation to it of lift lambda-calculus☆11Mar 31, 2017Updated 8 years ago
- [ACL 2025] NeuSym-RAG: Hybrid Neural Symbolic Retrieval with Multiview Structuring for PDF Question Answering☆22Jul 29, 2025Updated 6 months ago
- A pure-rust implementation of the GVariant serialisation format☆13Jul 7, 2025Updated 7 months ago
- Spatial and Action Based Resolver☆13Jan 18, 2019Updated 7 years ago
- Microscopic Traffic Simulation with OpenStreetMap Data☆14Apr 18, 2021Updated 4 years ago
- Unison syntax highlighting for VS code☆10Jul 13, 2022Updated 3 years ago
- LTeX+ Language Server support for Zed☆15Dec 1, 2025Updated 2 months ago
- Syntax highlighting in Visual Studio Code☆11Feb 4, 2026Updated last week