ioannad/jeffrey

Stars
24
Rank 986,245 (Top 20 %)
Language
Common Lisp
Created about 9 years ago
Updated almost 3 years ago

ioannad/jeffrey

ioannad

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

Choiceless grapher: a common-lisp diagram maker for consequences of the Axiom of Choice.

NBG_HOL

A formalisation of NBG set theory in Isabelle/HOL

asd-graph

Graphs dependencies in the asd files of Common Lisp systems.

lambda

A mirror of https://gitlab.common-lisp.net/idimitriou/lambda A toy interpreter and compiler of the untyped λ calculus, written in common lisp.