lambdamikel / GenEdLinks
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
Sorting:
- Common Lisp bytecode compiler☆14Updated this week
- CL type system implementation☆28Updated last month
- *Lisp simulator☆28Updated 11 years 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
- Light Weight Cells☆19Updated 9 months ago
- Scheme to Common Lisp☆17Updated last year
- Implementation of Petri nets in Common Lisp☆25Updated 5 years ago
- A Common Lisp Framework for the Semantic Web☆22Updated 4 years ago
- The Ops5 programming language for production systems☆38Updated 5 years ago
- Supervisor trees (and some more) for Common Lisp☆21Updated 5 years ago
- Jürgen Walther's AI Workbench for Common Lisp, restored from the CMU AI Repository☆13Updated last year
- A library for reading, writing, and representing structures from binary storage☆19Updated 2 weeks ago
- An embedded dialect of the OMeta language for rapidly developing compilers and code analysis tools.☆15Updated 10 years ago
- Standard library for Lambda Calculus, finally making LC a practical programming language.☆14Updated last month
- Spellchecking library for Common Lisp (currently only English)☆14Updated last month
- Common Lisp package providing an SMT object supporting SMT-LIB communication over input and output streams☆19Updated 3 years ago
- FMCS: the Flavors Meta-Class System for Common Lisp and alternative to CLOS+MOP, restored from the CMU AI Repository☆11Updated last year
- Retrieve machine state information about CPU time, memory usage, etc.☆26Updated 4 months ago
- Generating and managing callbacks from C into Heaven (Lisp).☆12Updated 5 years ago
- Livin' like it's 1813 (or 1988).☆33Updated last year
- Run etcd as an asynchronous inferior process☆15Updated 2 years ago
- An experimental implementation of parsing expression grammars (a la Janet) in Common Lisp☆24Updated 10 months ago
- A specification of an improvement to the Common Lisp standard☆22Updated 3 years ago
- A Presentation Based User Interface for Emacs.☆35Updated last month
- Some general condition classes and signalling helpers☆27Updated 8 months ago
- Minimal Perfect Hash-Table CL Implementation☆14Updated 7 years ago
- House automation bus in Common Lisp☆19Updated last week
- Environment protocol for Common Lisp compilers.☆34Updated last year
- Common Interface to ISO Prolog implementations from Common Lisp☆34Updated 3 years ago
- An implementation of John McCarthy's ambiguous operator in portable Common Lisp.☆39Updated 2 years ago