Making VSCode extensions ON-THE-FLY, without the ceremony of creating a new node project!
☆15Feb 21, 2023Updated 3 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 9 months ago
- Enable on-the-fly scripting of your VS Code environment☆12Feb 12, 2026Updated 3 weeks ago
- Explorations in relations and the algebra of programming☆17Oct 4, 2019Updated 6 years ago
- software archaeology of reflective towers of interpreters☆17Jun 6, 2025Updated 9 months ago
- A byte code specification and a JIT-compiler written in Assembly.☆14Jan 9, 2025Updated last year
- I moved this folder. Keeping this repo up for archival purposes only.☆17Jun 5, 2024Updated last year
- 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
- A small, statically typed, low-level programming language.☆24Sep 8, 2025Updated 5 months ago
- A Haskell library for Approximating Exact Real Numbers (AERN) based on interval computation. (aern2 is a rewrite of aern.)☆25Aug 12, 2025Updated 6 months ago
- Zig Optimizing Backend☆25Jun 8, 2025Updated 8 months ago
- Add CLI autocomplete functionalities to Shell Script☆24Jul 28, 2025Updated 7 months ago
- Awesome Geometric Algebra☆29Jul 11, 2020Updated 5 years ago
- Emacs major modes wrapping the AWS CLI☆25Dec 20, 2025Updated 2 months ago
- Install packages from other distributions☆28Dec 26, 2021Updated 4 years ago
- A lightweight dataframe & math toolkit for Rust☆26Aug 25, 2025Updated 6 months ago
- YAML parser in Elisp☆38Jan 13, 2026Updated last month
- A fork of Flickr::API from Perl's CPAN☆18Dec 17, 2018Updated 7 years ago
- Emacs configuration files for Charles Choi☆32Feb 27, 2026Updated last week
- okami is an application development platform☆39Aug 15, 2025Updated 6 months ago
- Showing how some simple mathematical theories naturally give rise to some common data-structures☆39Jun 13, 2024Updated last year
- Txt Syntax vscode extension is aimed to highlight several text files.☆37Jul 22, 2024Updated last year
- ☆10Jan 16, 2025Updated last year
- A Pretty Printing XML Generator for Common Lisp☆18Jun 11, 2025Updated 8 months ago
- Literate Python package development with Jupyter☆12Aug 18, 2025Updated 6 months ago
- perl live coding☆19Feb 5, 2025Updated last year
- The Simple OS - based on the Forth programming language☆16Feb 3, 2026Updated last month
- Coq/Rocq practice session @ Lean For The Curious Mathematicians 2024☆13Mar 28, 2024Updated last year
- Alter Keyboard Layouts☆12Jan 4, 2021Updated 5 years ago
- Scripts and Tools for Electron Microscopy Image Analysis.☆11Nov 25, 2025Updated 3 months ago
- ☆11Mar 12, 2021Updated 4 years ago
- Linux society's response to Guitar Hero. :)☆45Aug 30, 2017Updated 8 years ago
- Verifying encodings into propositional logic in Lean☆14Aug 14, 2023Updated 2 years ago
- A Docker-based distribution of Appion-Protomo.☆11Oct 23, 2020Updated 5 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
- ChatPaperPlus☆11Mar 13, 2023Updated 2 years ago
- Very simple script for EPU users which adds beam tilt classes to the star file☆11Nov 3, 2023Updated 2 years ago