Popular repositories Loading

1. logic logic Public

   Definitions and algorithms for First-Order Logic, working towards saturation-based inductive provers

   Haskell 2 1

2. kcoq kcoq Public

   Tool used by K framework Coq backend

   Haskell 1 1

3. ray ray Public

   crude ray tracer

   Haskell

4. git-svn-scripts git-svn-scripts Public

   Some scripts for handling tags and ignores after a git-svn migration

   Haskell

5. sglr-server sglr-server Public

   Modifying the k-framework sglr library to run as an external server

   C

6. data-reify data-reify Public

   Forked from ku-fpg/data-reify

   Reification of data structures using observable sharing

   Haskell