Popular repositories Loading

1. AG-SAT AG-SAT Public

   Scheduling attribute grammars with SAT-solvers

   TeX 2

2. uuoagc uuoagc Public

   Proof-of-concept code for incremental evaluation of higher-order attribute grammars

   Haskell 2

3. minisat minisat Public

   Forked from niklasso/minisat

   A minimalistic and high-performance SAT solver

   C++ 1 1

4. minisat-bundle minisat-bundle Public

   Minisat Haskell bundle

   1 3

5. diagrams-input diagrams-input Public

   Forked from diagrams/diagrams-input

   Reading of raster images with JuicyPixels, SVG images with xml-conduit

   Haskell 1

6. smarttabs smarttabs Public

   Forked from jcsalomon/smarttabs

   Emacs smart tabs - indent with tabs, align with spaces!

   Emacs Lisp