lambdamikel / GenEdLinks
An Editor with Generic Semantics for Formal Reasoning About Visual Notations
☆20Updated 4 years ago
Alternatives and similar repositories for GenEd
Users that are interested in GenEd are comparing it to the libraries listed below
Sorting:
- Common Lisp bytecode compiler☆14Updated 2 weeks ago
- *Lisp simulator☆28Updated 12 years ago
- Scheme to Common Lisp☆17Updated last year
- Light Weight Cells☆20Updated last year
- CL type system implementation☆28Updated 6 months ago
- Some general condition classes and signalling helpers☆27Updated last year
- prepl is a REPL implementation, also known as a Lisp listener☆14Updated 5 months ago
- A string parsing tool inspired by the REXX PARSE construct.☆13Updated last year
- An embedded dialect of the OMeta language for rapidly developing compilers and code analysis tools.☆15Updated 10 years ago
- Generating and managing callbacks from C into Heaven (Lisp).☆12Updated 5 years ago
- General-purpose keymap management à-la Emacs☆15Updated 10 months ago
- Assembler framework for Common Lisp.☆37Updated 8 months ago
- Common Lisp Package for Parallel Corpus Processing☆13Updated last year
- Minimal Perfect Hash-Table CL Implementation☆15Updated 7 years ago
- ☆26Updated 2 years ago
- Lockless data structures for Common Lisp☆22Updated 3 months ago
- Experiments on workflow with common lisp☆24Updated last week
- A portable single-layer timer wheel implementation.☆13Updated 8 years ago
- Common Interface to ISO Prolog implementations from Common Lisp☆38Updated 4 years ago
- generalized specializers work☆16Updated 7 years ago
- Monads for Common Lisp☆18Updated last year
- http://cdr.eurolisp.org/document/2/☆17Updated 2 months ago
- A compatibility layer for Gray streams including extensions☆14Updated last week
- A Common Lisp toolkit to construct interface-aware yet standard-compliant debugger hooks.☆12Updated 10 months ago
- A lock-free concurrent data structures library for Common Lisp.☆25Updated this week
- An experimental implementation of parsing expression grammars (a la Janet) in Common Lisp☆24Updated last year
- List manipulation library inspired by Haskell package Data.List☆34Updated 4 years ago
- ☆11Updated 4 years ago
- Spellchecking library for Common Lisp (currently only English)☆14Updated last month
- Environment protocol for Common Lisp compilers.☆34Updated last year