injinj / linecookLinks
Command line editor, C api, readline replacement
☆25Updated 8 months ago
Alternatives and similar repositories for linecook
Users that are interested in linecook are comparing it to the libraries listed below
Sorting:
- The dash shell as a linkable library. Tracks https://git.kernel.org/pub/scm/utils/dash/dash.git, with extended interfaces, bindings for P…☆43Updated 6 months ago
- Polymorphic guarded λ-calculus☆20Updated last month
- Your happy place for learning APL☆16Updated 2 years ago
- Sed Lisp -- a lisp interpreter in GNU sed☆54Updated 4 years ago
- ☆11Updated 3 years ago
- Library for invertible parsing and printing☆32Updated last year
- [ABANDONED] An extensible shell (descended from es and rc) having functional semantics and a conventional syntax.☆51Updated 3 years ago
- Tools to create filesystem images from an fspec filesystem specification.☆16Updated last year
- Oleg Kiselyov's zipper-based file-server/OS☆26Updated 5 years ago
- The Symbolic, Mechanized, Observable, Operational SHell: an executable formalization of the POSIX shell standard.☆118Updated 2 years ago
- Haskell binding for PADS☆19Updated 6 years ago
- A flake to remotely build and/or cache C/C++ compilation, using recursive Nix☆30Updated 3 years ago
- A tool for #! scripts with more than one argument☆42Updated 8 years ago
- Conflict is a small esoteric language giving semantics to git merge conflicts☆14Updated 5 years ago
- optimize your home bar with ✨logic programming✨☆78Updated 3 years ago
- A Scheme compiler to Lua bytecode☆22Updated 8 years ago
- Semantic find-and-replace using tree-sitter-based macro expansion!☆16Updated 3 years ago
- A Haskell-like language for scripting and web apps☆13Updated last year
- The Boomerang Bidirectional Programming Language☆77Updated 2 years ago
- Prototypes: Object Orientation, Functionally☆46Updated last week
- A command-line code search tool based on Tree-sitter☆38Updated 6 years ago
- Filesystem access tracer☆84Updated 11 months ago
- A Literate Programming Tool inspired by NoWeb, implemented in OCaml☆35Updated 6 years ago
- Matita (proof assistant) with embedded elpi☆13Updated 7 years ago
- Examples from Introduction to Programming in ATS☆26Updated 10 years ago
- blending sam with the shell experiment☆23Updated 6 years ago
- a self-hosting lambda calculus compiler☆36Updated 4 months ago
- Erlang BEAM emulator in Haskell☆48Updated 11 years ago
- Rust mg☆10Updated 5 years ago
- Lua backend for Idris 2☆28Updated 3 years ago