fcbr's Stars
sfrank/minheap
Implementation of several advanced heap data structures with priority queue and meld functionality in Common Lisp
lokedhs/parse-lisp-spec
Parse the Common Lisp specification TeX documents
lbdremy/solr-node-client
A solr client for node.js.
leanprover/lean3
Lean Theorem Prover
watson-developer-cloud/node-sdk
:comet: Node.js library to access IBM Watson services.
dotnet/coreclr
CoreCLR is the runtime for .NET Core. It includes the garbage collector, JIT compiler, primitive data types and low-level classes.
zkat/chillax
CouchDB abstraction layer for Common Lisp
archimag/mongo-cl-driver
Common Lisp driver for MongoDB
fons/cl-mongo
lisp interface to mongo db
marijnh/ST-JSON
JSON for Common Lisp
hankhero/cl-json
Json encoder and decoder for Common-Lisp
madnificent/jsown
reader/writer for the JSON format in common lisp
thephoeron/LLTHW
Learn Lisp The Hard Way source-code and full book text
edicl/hunchentoot
Web server written in Common Lisp
own-pt/cl-wnbrowser
A collaborative editor for OpenWordnet-PT.
sharplispers/cormanlisp
Corman Lisp
own-pt/openWordnet-PT
OpenWordnet-PT: an open access wordnet for Portuguese
own-pt/wordnet-editor
a CL wordnet editor
sharplispers/log4cl
Common Lisp logging framework, modeled after Log4J
sharplispers/montezuma
Full-text indexing and search for Common Lisp
fcbr/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.