tayloj

tayloj's Stars

• jgm/pandoc

  Universal markup converter

  Language:Haskell33.9k5167.6k3.3k

• owlcs/owlapi

  OWL API main repository

  Language:Java82165924315

• derive4j/derive4j

  Java 8 annotation processor and framework for deriving algebraic data types constructors, pattern-matching, folds, optics and typeclasses.

  Language:Java564307650

• yavijava/yavijava

  Yet Another vijava. A fork of vijava http://sourceforge.net/p/vijava/

  Language:Java14630158117

• tayloj/cl-rdfxml

  Common Lisp RDF/XML parser

  Language:Common Lisp15600

• jesg/dither-java

  IPOG and other test generation strategies

  Language:Java3421

• jeroenh/indl

  Infrastructure and Network Description Language

  2502

• naveensundarg/DPL

  A Propositional Alpha Denotational Proof Language

  Language:Clojure2301