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:
- Scheme to Common Lisp☆16Updated last year
- A Common Lisp Framework for the Semantic Web☆22Updated 4 years ago
- *Lisp simulator☆28Updated 11 years ago
- Standard library for Lambda Calculus, finally making LC a practical programming language.☆14Updated last week
- An experimental implementation of parsing expression grammars (a la Janet) in Common Lisp☆24Updated 8 months ago
- Fast Multi-Producer Single-Consumer queue for SBCL x86-64.☆14Updated 10 months ago
- Light Weight Cells☆19Updated 7 months ago
- Common Lisp bytecode compiler☆12Updated last week
- Portability library for better interaction and debugging of a running Common Lisp image through text REPL.☆19Updated 4 months ago
- Retrieve machine state information about CPU time, memory usage, etc.☆26Updated 3 months ago
- An embedded dialect of the OMeta language for rapidly developing compilers and code analysis tools.☆15Updated 10 years ago
- Common Interface to ISO Prolog implementations from Common Lisp☆34Updated 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
- CL type system implementation☆27Updated last week
- Model Context Protocol (MCP) server to manage and talk to compliant "Lisply" lisp-speaking backend services☆17Updated last month
- Generating and managing callbacks from C into Heaven (Lisp).☆12Updated 5 years ago
- A simple advice system for Common Lisp☆25Updated 2 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
- Minimal Perfect Hash-Table CL Implementation☆14Updated 7 years ago
- A portable single-layer timer wheel implementation.☆13Updated 8 years ago
- DESTRUCTURING-BIND with proper error signaling☆13Updated 5 years ago
- Implementation of Petri nets in Common Lisp☆25Updated 5 years ago
- Livin' like it's 1813 (or 1988).☆32Updated last year
- Common Lisp package providing an SMT object supporting SMT-LIB communication over input and output streams☆19Updated 3 years ago
- A library for seamless multi-language programming.☆35Updated 4 months ago
- Search, browse and load Quicklisp systems from Emacs.☆28Updated 2 years ago
- The Ops5 programming language for production systems☆38Updated 5 years ago
- Persistent data structures in Common Lisp☆18Updated 2 years ago
- Some general condition classes and signalling helpers☆27Updated 6 months ago
- http://cdr.eurolisp.org/document/2/☆17Updated 6 years ago