DanielSchuessler/logic-TPTP
Import, export etc. for TPTP, a syntax for first-order logic
Developer Profile
DanielSchuessler
Discovered public repositories for DanielSchuessler in the GitHub catalog.
DanielSchuessler/safe
Haskell library for safe (pattern match free) functions
DanielSchuessler/fast-math
Play fast and loose with IEEE-754 rewrite RULES
DanielSchuessler/Sprache
Tiny C# Monadic Parser Framework
DanielSchuessler/accelerate
Embedded language for high-performance array computations
DanielSchuessler/dotrc
just some configuration files
DanielSchuessler/th-build
More convenient construction of TH ASTs
DanielSchuessler/hstri
Utilities for 3-manifold triangulations
DanielSchuessler/numbering
Combinators for creating bijections from some type to the natural numbers.
DanielSchuessler/th-expand-syns
Expands type synonyms in Template Haskell ASTs
DanielSchuessler/neco-ghc
A neocomplcache plugin for Haskell, using ghc extensions
DanielSchuessler/hs-deepseq-th
Template Haskell deriver for NFData instances
DanielSchuessler/xmlgen
XML generator library for Haskell
DanielSchuessler/tuple-th
Template Haskell functions for generating functions similar to those in Data.List for tuples of statically known size.
DanielSchuessler/FileLocation.hs
error and debug function for haskell that give file locations
DanielSchuessler/Printf-TH
(Github upload of code by Ian Lynagh and Marc Weber)