lambdamikel / GenEd
An Editor with Generic Semantics for Formal Reasoning About Visual Notations
☆18Updated 3 years ago
Alternatives and similar repositories for GenEd:
Users that are interested in GenEd are comparing it to the libraries listed below
- Scheme to Common Lisp☆15Updated last year
- A Common Lisp Framework for the Semantic Web☆22Updated 3 years ago
- An experimental implementation of parsing expression grammars (a la Janet) in Common Lisp☆25Updated 5 months ago
- Closure web engine☆17Updated 2 years ago
- Standard library for Lambda Calculus, finally making LC a practical programming language.☆14Updated last month
- *Lisp simulator☆28Updated 11 years ago
- A portable single-layer timer wheel implementation.☆13Updated 8 years ago
- Retrieve machine state information about CPU time, memory usage, etc.☆25Updated this week
- Jürgen Walther's AI Workbench for Common Lisp, restored from the CMU AI Repository☆13Updated last year
- Generating and managing callbacks from C into Heaven (Lisp).☆12Updated 4 years ago
- Light Weight Cells☆18Updated 4 months ago
- Lisp-based OWL Full Processor on top of Common Lisp Object System (CLOS), See http://www-kasm.nii.ac.jp/~koide/SWCLOS2-en.htm☆16Updated 5 years ago
- Spellchecking library for Common Lisp (currently only English)☆13Updated last week
- A Presentation Based User Interface for Emacs.☆35Updated 7 months ago
- FMCS: the Flavors Meta-Class System for Common Lisp and alternative to CLOS+MOP, restored from the CMU AI Repository☆11Updated last year
- A library for reading, writing, and representing structures from binary storage☆18Updated 5 months ago
- Portability library for better interaction and debugging of a running Common Lisp image through text REPL.☆19Updated last month
- Reactive programming at the variable/function level for Common Lisp☆36Updated 2 years ago
- A Common Lisp LLM chat library☆14Updated 9 months ago
- Livin' like it's 1813 (or 1988).☆32Updated 11 months ago
- Common Lisp Package for Parallel Corpus Processing☆13Updated last year
- Common Interface to ISO Prolog implementations from Common Lisp☆33Updated 3 years ago
- Implementation of Petri nets in Common Lisp☆25Updated 4 years ago
- A library for seamless multi-language programming.☆35Updated 3 weeks ago
- an interpretation layer to use guile scheme in the shell☆22Updated 5 years ago
- A simple advice system for Common Lisp☆25Updated 2 years ago
- Garnet - a graphical toolkit for Lisp☆20Updated 3 years ago
- Common Lisp implementation of rope datastructure☆37Updated 5 months ago