l4e21/Minmod

Stars
1
Language
Common Lisp
Created about 2 years ago
Updated about 2 years ago

l4e21/Minmod

l4e21

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

A Symbolic Theorem Prover

Fae

The Fuzzy Analysis Engine

Combray

Yet Another Parser Combinator Library

cl-chess

A (slightly buggy) Chess game written in CL utilising CLOS and bitboard arithmetic as well as optimised sliding attack algorithms

Camlculus

The Simply-Typed Lambda Calculus Interpreter (+ Parser Combinator Library) Written in Ocaml

L-Shell

Replace the shell with a CL REPL.

py-autocomplete

Djisktra-like algorithm for autocomplete using python. Uses Trie data-structure

Interactive-Prolog-Tutorial

Interactive Prolog Tutorial