injinj / linecookLinks
Command line editor, C api, readline replacement
☆25Updated 7 months ago
Alternatives and similar repositories for linecook
Users that are interested in linecook are comparing it to the libraries listed below
Sorting:
- Your happy place for learning APL☆16Updated 2 years ago
- 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
- Tools to create filesystem images from an fspec filesystem specification.☆16Updated last year
- A Literate Programming Tool inspired by NoWeb, implemented in OCaml☆35Updated 6 years ago
- A Scheme compiler to Lua bytecode☆22Updated 8 years ago
- Polymorphic guarded λ-calculus☆20Updated 2 weeks ago
- a self-hosting lambda calculus compiler☆36Updated 4 months ago
- Sed Lisp -- a lisp interpreter in GNU sed☆54Updated 4 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
- [ABANDONED] An extensible shell (descended from es and rc) having functional semantics and a conventional syntax.☆51Updated 3 years ago
- My personal template repository for Racket packages☆16Updated 4 years ago
- ☆11Updated 3 years ago
- The Boomerang Bidirectional Programming Language☆77Updated 2 years ago
- A static analysis tool for C.☆27Updated 5 years ago
- Delimited continuations in byte-code and native OCaml☆27Updated 4 years ago
- Examples from Introduction to Programming in ATS☆26Updated 10 years ago
- A Haskell-like language for scripting and web apps☆13Updated last year
- Pijul <-> Git proxy☆22Updated 6 years ago
- literate programming meets unison☆29Updated last month
- Common lisp implementation of Val Schorr's Meta-II language☆18Updated 8 years ago
- Conflict is a small esoteric language giving semantics to git merge conflicts☆14Updated 5 years ago
- blending sam with the shell experiment☆23Updated 6 years ago
- quick c☆35Updated 3 years ago
- An OCaml extension for RISC-V☆16Updated 4 years ago
- A normalizing interpreter for the untyped λ-calculus in 292 characters of Haskell☆10Updated 9 years ago
- Prototypes: Object Orientation, Functionally☆46Updated last week
- Matita (proof assistant) with embedded elpi☆13Updated 7 years ago
- dependently-typed lisp with flexible compiler backends☆27Updated 6 years ago
- Coq plugin for monomorphization and C code generation☆34Updated last month