lambdamikel / GenEd
An Editor with Generic Semantics for Formal Reasoning About Visual Notations
☆19Updated 4 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☆16Updated last year
- *Lisp simulator☆28Updated 11 years ago
- A Common Lisp Framework for the Semantic Web☆22Updated 4 years ago
- Common Lisp package providing an SMT object supporting SMT-LIB communication over input and output streams☆19Updated 3 years ago
- A library for reading, writing, and representing structures from binary storage☆18Updated 8 months ago
- A library for seamless multi-language programming.☆35Updated 3 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☆17Updated 6 years ago
- Implementation of Petri nets in Common Lisp☆25Updated 5 years ago
- Light Weight Cells☆19Updated 7 months ago
- A literate programming system for Common Lisp.☆23Updated 4 years ago
- Pure-Lisp SVG renderer☆22Updated 3 months ago
- 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 5 years ago
- CL type system implementation☆26Updated last month
- An embedded dialect of the OMeta language for rapidly developing compilers and code analysis tools.☆15Updated 9 years ago
- A portable single-layer timer wheel implementation.☆13Updated 8 years ago
- An experimental implementation of parsing expression grammars (a la Janet) in Common Lisp☆24Updated 8 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
- Persistent data structures in Common Lisp☆18Updated 2 years ago
- Retrieve machine state information about CPU time, memory usage, etc.☆26Updated 2 months ago
- A different type of generic function for common lisp.☆30Updated 4 years ago
- General-purpose keymap management à-la Emacs☆13Updated 3 months ago
- Standard library for Lambda Calculus, finally making LC a practical programming language.☆14Updated 3 months ago
- Common Interface to ISO Prolog implementations from Common Lisp☆34Updated 3 years ago
- Livin' like it's 1813 (or 1988).☆32Updated last year
- A script to evaluate lisp expressions in multiple implementations☆21Updated 8 months ago
- Spellchecking library for Common Lisp (currently only English)☆13Updated last month
- Reactive programming at the variable/function level for Common Lisp☆36Updated 2 years ago
- Some general condition classes and signalling helpers☆27Updated 6 months ago
- http://cdr.eurolisp.org/document/2/☆17Updated 6 years ago