alhassy / easy-extensibilityView external linksLinks
Making VSCode extensions ON-THE-FLY, without the ceremony of creating a new node project!
☆15Feb 21, 2023Updated 2 years ago
Alternatives and similar repositories for easy-extensibility
Users that are interested in easy-extensibility are comparing it to the libraries listed below
Sorting:
- the reflective tower Blond by Olivier Danvy & Karoline Malmkjær☆16May 21, 2025Updated 8 months ago
- A byte code specification and a JIT-compiler written in Assembly.☆14Jan 9, 2025Updated last year
- Explorations in relations and the algebra of programming☆17Oct 4, 2019Updated 6 years ago
- I moved this folder. Keeping this repo up for archival purposes only.☆17Jun 5, 2024Updated last year
- software archaeology of reflective towers of interpreters☆16Jun 6, 2025Updated 8 months ago
- Type level algebraic "proofs" using lens combinators☆19Jul 26, 2019Updated 6 years ago
- A Prolog DSL and interpreter for Ruby☆32Jul 27, 2015Updated 10 years ago
- Unix style pipes and a lambda shorthand syntax to make your Racket code more readable.☆27Mar 23, 2021Updated 4 years ago
- Zig Optimizing Backend☆25Jun 8, 2025Updated 8 months ago
- Awesome Geometric Algebra☆29Jul 11, 2020Updated 5 years ago
- Emacs major modes wrapping the AWS CLI☆25Dec 20, 2025Updated last month
- An Emacs minor mode for highlighting matches to the selection☆33Jul 31, 2024Updated last year
- Install packages from other distributions☆28Dec 26, 2021Updated 4 years ago
- Press "C-x C-e" to send any piece of code (in any language) to a REPL in the background, within Emacs!☆74Nov 10, 2024Updated last year
- A fork of Flickr::API from Perl's CPAN☆18Dec 17, 2018Updated 7 years ago
- A lightweight dataframe & math toolkit for Rust☆26Aug 25, 2025Updated 5 months ago
- An ambient noise detector☆10Aug 23, 2020Updated 5 years ago
- okami is an application development platform☆39Aug 15, 2025Updated 5 months ago
- Landscape Generator is An open Source web application that generates landscape drawings randomly, then gives you the ability to edit it a…☆10Jul 30, 2024Updated last year
- A Docker-based distribution of Appion-Protomo.☆11Oct 23, 2020Updated 5 years ago
- Alter Keyboard Layouts☆12Jan 4, 2021Updated 5 years ago
- Literate Python package development with Jupyter☆12Aug 18, 2025Updated 5 months ago
- A Pretty Printing XML Generator for Common Lisp☆18Jun 11, 2025Updated 8 months ago
- perl live coding☆19Feb 5, 2025Updated last year
- Linux society's response to Guitar Hero. :)☆45Aug 30, 2017Updated 8 years ago
- Some hacks on top of Alain Picard's CSV parser☆16Jun 2, 2014Updated 11 years ago
- ☆11Mar 12, 2021Updated 4 years ago
- ☆26Mar 26, 2024Updated last year
- A web IDE for ACL2 using a Kubernetes based backend. Evolution of https://github.com/calebegg/proof-pad-classic☆11Jul 15, 2024Updated last year
- ☆10Jan 16, 2025Updated last year
- Scripts and Tools for Electron Microscopy Image Analysis.☆11Nov 25, 2025Updated 2 months ago
- ☆16Updated this week
- Soul - an esoteric concatenative language☆12Apr 30, 2024Updated last year
- Verifying encodings into propositional logic in Lean☆14Aug 14, 2023Updated 2 years ago
- Coq/Rocq practice session @ Lean For The Curious Mathematicians 2024☆13Mar 28, 2024Updated last year
- ☆10Dec 5, 2022Updated 3 years ago
- Scripts to build openrisc toolchain and bootable filesystem☆12Sep 15, 2014Updated 11 years ago
- Summer Scheming!!!!!!☆11Aug 20, 2020Updated 5 years ago
- A Spotify Wrapped-style analysis of your iMessage history. Beautiful iOS-styled reports generated locally.☆25Jan 26, 2026Updated 2 weeks ago