lambdamikel / GenEd
An Editor with Generic Semantics for Formal Reasoning About Visual Notations
☆18Updated 3 years ago
Related projects: ⓘ
- A Common Lisp Framework for the Semantic Web☆20Updated 3 years ago
- Light Weight Cells☆17Updated 2 months ago
- Closure web engine☆16Updated 2 years ago
- Scheme to Common Lisp☆13Updated 9 months ago
- A portable single-layer timer wheel implementation.☆13Updated 7 years ago
- Garnet - a graphical toolkit for Lisp☆19Updated 2 years ago
- *Lisp simulator☆27Updated 10 years ago
- Supervisor trees (and some more) for Common Lisp☆20Updated 4 years ago
- Tools for the representation of graphs and flowcharts☆18Updated 4 months ago
- RSS, Atom and general feed parsing and generating☆12Updated last year
- An embedded dialect of the OMeta language for rapidly developing compilers and code analysis tools.☆14Updated 9 years ago
- Minimal Perfect Hash-Table CL Implementation☆14Updated 6 years ago
- http://cdr.eurolisp.org/document/2/☆17Updated 5 years ago
- Generating and managing callbacks from C into Heaven (Lisp).☆12Updated 4 years ago
- An experimental implementation of parsing expression grammars (a la Janet) in Common Lisp☆21Updated 2 weeks ago
- Common Lisp package providing an SMT object supporting SMT-LIB communication over input and output streams☆18Updated 2 years ago
- BKNR datastore - MOP-Based in-memory database with transactions for Common Lisp☆12Updated 4 years ago
- prepl is a REPL implementation, also known as a Lisp listener☆13Updated 3 years ago
- Persistent data structures in Common Lisp☆18Updated last year
- Common Interface to ISO Prolog implementations from Common Lisp☆31Updated 2 years ago
- ☆11Updated 3 years ago
- Environment protocol for Common Lisp compilers.☆33Updated 8 months ago
- A library for seamless multi-language programming.☆13Updated 3 months ago
- An implementation of Scheme embedded in Common Lisp☆24Updated 12 years ago
- Common Lisp bytecode compiler☆10Updated 2 weeks ago
- Documentation contribs for SLIME (the Superior Lisp Interaction Mode for Emacs)☆20Updated last month
- Reactive programming at the variable/function level for Common Lisp☆34Updated last year
- A specification of an improvement to the Common Lisp standard☆22Updated 2 years ago
- Common Lisp implementation of rope datastructure☆33Updated last week