Popular repositories Loading

1. AG-SAT AG-SATPublic

   Scheduling attribute grammars with SAT-solvers

   TeX 2

2. uuoagc uuoagcPublic

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

   Haskell 2

3. minisat minisatPublic

   Forked from niklasso/minisat

   A minimalistic and high-performance SAT solver

   C++ 1 1

4. minisat-bundle minisat-bundlePublic

   Minisat Haskell bundle

   1 3

5. diagrams-input diagrams-inputPublic

   Forked from diagrams/diagrams-input

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

   Haskell 1

6. smarttabs smarttabsPublic

   Forked from jcsalomon/smarttabs

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

   Emacs Lisp