necto/famgraph

Stars
1
Language
Common Lisp
Created almost 13 years ago
Updated over 12 years ago

necto/famgraph

necto

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

A genealogy tree viewer and redactor

cl-gallery

a simple picture gallery based on hunchentoot/restas framework

cl-graphviz

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

archtoys

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

verifast-mode

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

percl

A light persistent system for common lisp

VNB-NAT

A show-case of VNB application: a simple NAT-box

denfer

Dynamic crossplatform (windows/linux) profiler with GUI(QT).

parity

simple benchmark comparing two parity-bit calculation approaches

config

my configuration(dot-) files