lambdamikel / GenEdLinks
An Editor with Generic Semantics for Formal Reasoning About Visual Notations
☆22Updated 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 months ago
- Light Weight Cells☆20Updated last year
- Lockless data structures for Common Lisp☆22Updated 5 months ago
- Common Interface to ISO Prolog implementations from Common Lisp☆39Updated 4 years ago
- *Lisp simulator☆28Updated 12 years ago
- CL type system implementation☆28Updated 8 months ago
- General-purpose keymap management à-la Emacs☆15Updated last year
- Functional utilities for Common Lisp☆31Updated 7 months ago
- Concrete Syntax Trees represent s-expressions with source information☆64Updated 5 months ago
- A Common Lisp Framework for the Semantic Web☆24Updated 4 years ago
- Experiments on workflow with common lisp☆25Updated last month
- prepl is a REPL implementation, also known as a Lisp listener☆14Updated 7 months ago
- Scheme to Common Lisp☆20Updated 2 years ago
- A portable type inference library for Common Lisp☆44Updated 8 months ago
- Common Lisp Package for Parallel Corpus Processing☆13Updated last year
- House automation bus in Common Lisp☆22Updated last month
- ☆26Updated 2 years ago
- Assembler framework for Common Lisp.☆40Updated 10 months ago
- Jürgen Walther's AI Workbench for Common Lisp, restored from the CMU AI Repository☆14Updated 2 years ago
- An experimental implementation of parsing expression grammars (a la Janet) in Common Lisp☆24Updated last year
- Common Lisp implementation of rope datastructure☆37Updated last year
- generalized specializers work☆16Updated 8 years ago
- A lock-free concurrent data structures library for Common Lisp.☆26Updated 2 months ago
- Some general condition classes and signalling helpers☆27Updated last year
- http://cdr.eurolisp.org/document/2/☆17Updated 4 months ago
- Environment protocol for Common Lisp compilers.☆35Updated 2 years ago
- Pure-Lisp SVG renderer☆23Updated last year
- Old, but suprisingly complete toolkit with no dependancies on other non-lisp libraries.☆58Updated 4 years ago
- A string parsing tool inspired by the REXX PARSE construct.☆13Updated last year
- A library for seamless multi-language programming.☆38Updated last year