Pinned Repositories
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.
graph-algorithms
Several graph algorithms in Common Lisp.
lean-docker
Docker for the Lean Theorem Prover
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
fcbr's Repositories
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.
fcbr/graph-algorithms
Several graph algorithms in Common Lisp.
fcbr/wordnet-graph
fcbr/acts_as_tree
ActsAsTree -- Extends ActiveRecord to add simple support for organizing items into parent–children relationships.
fcbr/BMaude
BMaude is a verification tool for B specifications written in the Abstract Machine Notation. The tool is implemented in the Maude language.
fcbr/cl-unicode
Portable Unicode library for Common Lisp
fcbr/de.setf.wilbur
a fork of net.sourceforge.wilbur updated for mcl and sbcl
fcbr/fcbr.github.io
fcbr/geo-search
Experimentation with geonames and elasticsearch.
fcbr/lean-docker
Docker for the Lean Theorem Prover
fcbr/minheap
Implementation of several advanced heap data structures with priority queue and meld functionality in Common Lisp
fcbr/UD_Portuguese-GSD
Brazilian Portuguese data from the Google Universal Dependency Treebanks 2.0.
fcbr/wordnet-sysadmin