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
- *Lisp simulator☆28Updated 11 years ago
- Scheme to Common Lisp☆14Updated last year
- A portable single-layer timer wheel implementation.☆13Updated 7 years ago
- Common Lisp bytecode compiler☆10Updated 4 months ago
- An embedded dialect of the OMeta language for rapidly developing compilers and code analysis tools.☆14Updated 9 years ago
- Light Weight Cells☆18Updated 3 months ago
- A Common Lisp Framework for the Semantic Web☆21Updated 3 years ago
- Supervisor trees (and some more) for Common Lisp☆20Updated 4 years ago
- Generating and managing callbacks from C into Heaven (Lisp).☆12Updated 4 years ago
- A Common Lisp toolkit to construct interface-aware yet standard-compliant debugger hooks.☆11Updated 2 weeks ago
- Common Lisp implementation of rope datastructure☆36Updated 4 months ago
- Livin' like it's 1813 (or 1988).☆31Updated 10 months ago
- Minimal Perfect Hash-Table CL Implementation☆14Updated 6 years ago
- Spellchecking library for Common Lisp (currently only English)☆13Updated 2 weeks ago
- Common Lisp package providing an SMT object supporting SMT-LIB communication over input and output streams☆18Updated 2 years ago
- Allows arbitrary functions to become the standard Lisp debugger☆13Updated last year
- A literate programming system for Common Lisp.☆22Updated 3 years ago
- A project to handle the creation of Quicklisp dists☆12Updated 5 months ago
- Documentation contribs for SLIME (the Superior Lisp Interaction Mode for Emacs)☆21Updated 5 months ago
- Some general condition classes and signalling helpers☆27Updated 2 months ago
- A Visual Spatial Query Language written in Common Lisp & CLIM for its GUI☆9Updated 3 years ago
- Tools for the representation of graphs and flowcharts☆19Updated last week
- Reactive programming at the variable/function level for Common Lisp☆36Updated 2 years ago
- RSS, Atom and general feed parsing and generating☆12Updated last year
- A utility library intended at providing reader macros for lambdas, arrays, accessors, hash-tables and hash-sets.☆13Updated last year
- FMCS: the Flavors Meta-Class System for Common Lisp and alternative to CLOS+MOP, restored from the CMU AI Repository☆11Updated last year
- Closette - a toy Common Lisp Object System (CLOS) described in The Art of the Metaobject Protocol (AMOP)☆11Updated 8 years ago
- Emacs major mode for Dyalog APL☆15Updated last year
- A simple audio mixing and processing library based on libmixed.☆25Updated last week
- Implementation of Petri nets in Common Lisp☆25Updated 4 years ago