An Editor with Generic Semantics for Formal Reasoning About Visual Notations
☆22Sep 11, 2026Updated last month
Alternatives and similar repositories for GenEd
Users that are interested in GenEd are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A Common Lisp Framework for the Semantic Web☆24Sep 11, 2026Updated last month
- A string parsing tool inspired by the REXX PARSE construct.☆13May 16, 2024Updated 2 years ago
- Jürgen Walther's AI Workbench for Common Lisp, restored from the CMU AI Repository☆14Nov 4, 2023Updated 2 years ago
- A Visual Spatial Query Language written in Common Lisp & CLIM for its GUI☆11Mar 14, 2021Updated 5 years ago
- A File-Based Fully Automatic Lisp Datastructure Serializer / Persistency Manager, Similar to "Pickle" for Python☆16Sep 11, 2026Updated last month
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Lisp-based OWL Full Processor on top of Common Lisp Object System (CLOS), See http://www-kasm.nii.ac.jp/~koide/SWCLOS2-en.htm☆19Mar 23, 2019Updated 7 years ago
- TFEB.ORG Lisp hax. Archived: now https://tfeb.org/computer/repos/tfeb-lisp-hax.git☆14Dec 13, 2025Updated 9 months ago
- Run etcd as an asynchronous inferior process☆21Feb 2, 2023Updated 3 years ago
- A library to fuzzily parse date and time strings☆19May 18, 2026Updated 4 months ago
- A collection of Common Lisp modules☆17Jun 11, 2026Updated 3 months ago
- Text-based histograms in Common Lisp inspired by the venerable HBOOK histogramming library from CERN.☆17Sep 2, 2026Updated last month
- SLIME extension for Lisp Critic☆10Jul 2, 2023Updated 3 years ago
- A fork of http://lisa.sourceforge.net/ , a Common Lisp production-rule system.☆18Mar 27, 2008Updated 18 years ago
- A cluster of bknr.datastores, replicated using the Raft consensus protocol.☆32Nov 23, 2025Updated 10 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Access to common file attributes (uid, gid, permissions, ctime, mtime, atime)☆18May 18, 2026Updated 4 months ago
- A Tangram Puzzle Solver in Common Lisp that is capable of solving arbitrary geometric tiling problems. CLIM (Common Lisp Interface Manage…☆30Sep 11, 2026Updated last month
- Common Lisp programming tutorials☆43May 4, 2023Updated 3 years ago
- Douglas Crosher's public domain code for direct system calls from CMUCL on Linux☆16Jul 1, 2013Updated 13 years ago
- Old, but suprisingly complete toolkit with no dependancies on other non-lisp libraries.☆60Jan 3, 2022Updated 4 years ago
- Read and write Numpy .npy and .npz files.☆19Sep 19, 2023Updated 3 years ago
- Easily override quicklisp projects without using git submodules☆21Mar 26, 2024Updated 2 years ago
- Lorem ipsum generator in portable Common Lisp☆11Sep 8, 2018Updated 8 years ago
- med - A fork of the emacs-like text editor for the Mezzano operating system☆15Mar 18, 2015Updated 11 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- High performance serialization library for Common Lisp☆49Jun 26, 2021Updated 5 years ago
- A compatibility layer for Gray streams including extensions☆14Jun 22, 2026Updated 3 months ago
- An integrated VCS and development environment for Common Lisp☆24Mar 8, 2024Updated 2 years ago
- A SIMD-accelerated concurrent hash table.☆67Nov 3, 2022Updated 3 years ago
- HTML rendering of chapters 5 and 6 of "The Art of the Metaobject Protocol".☆19May 28, 2025Updated last year
- A portable single-layer timer wheel implementation.☆13Dec 8, 2025Updated 10 months ago
- Extensible text formatting facility for Common Lisp☆22Mar 8, 2022Updated 4 years ago
- Flexible and customizable static site generator with a lot of plugins!☆26Sep 21, 2026Updated 2 weeks ago
- Portability library for better interaction and debugging of a running Common Lisp image through text REPL.☆20Feb 12, 2026Updated 7 months ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Farcall is a Common Lisp library that lets you expose functions over HTTP using JSON-RPC 2.0☆12Nov 17, 2019Updated 6 years ago
- ♻ An opinionated static site engine in Common Lisp☆21Oct 9, 2025Updated last year
- cl-schedule is a scheduling library in Common Lisp.☆37May 14, 2023Updated 3 years ago
- Utility for creating, accessing, and managing custom namespaces in Common Lisp.☆20Sep 7, 2025Updated last year
- SLIME configuration with some extensions pre-installed.☆62Mar 26, 2026Updated 6 months ago
- Lisp Interface to Electron.☆30Jan 18, 2026Updated 8 months ago
- A Common Lisp library for reading and writing JPEG image files☆25Feb 16, 2026Updated 7 months ago