Popular repositories Loading

1. cl-graphviz cl-graphviz Public

   Adaptaion of an outdated cl-graphviz by Attila Lendvai to the modern version of libgvc.so.6.

   Common Lisp 5

2. cl-gallery cl-gallery Public

   a simple picture gallery based on hunchentoot/restas framework

   Common Lisp 5 1

3. archtoys archtoys Public

   2 architectures 2 simulators, a compiler and a binary translator. MIPT students group

   Java 3 1

4. percl percl Public

   A light persistent system for common lisp

   Common Lisp 2

5. verifast-mode verifast-mode Public

   A major Emacs mode for VeriFast proof development (*.gh files)

   Emacs Lisp 2

6. natty natty Public

   Forked from zayac/natty

   Natty is for listening and searching music.

   Java 1