fcbr

graph-algorithms

Several graph algorithms in Common Lisp.

mmt

Maude MSOS Tool (MMT) is an execution environment for Modular Structural Operational Semantics (MSOS) specifications that brings the power of analysis available in the Maude system to MSOS specifications.

wordnet-graph

acts_as_tree

ActsAsTree -- Extends ActiveRecord to add simple support for organizing items into parent–children relationships.

BMaude

BMaude is a verification tool for B specifications written in the Abstract Machine Notation. The tool is implemented in the Maude language.

cl-unicode

Portable Unicode library for Common Lisp

de.setf.wilbur

a fork of net.sourceforge.wilbur updated for mcl and sbcl

fcbr.github.io

geo-search

Experimentation with geonames and elasticsearch.

lean-docker

Docker for the Lean Theorem Prover

minheap

Implementation of several advanced heap data structures with priority queue and meld functionality in Common Lisp

UD_Portuguese-GSD

Brazilian Portuguese data from the Google Universal Dependency Treebanks 2.0.

wordnet-sysadmin