ofiddy

ofiddy's Stars

• j-mie6/parsley

  A fast and modern parser combinator library for Scala

  Language:Scala17516

• ofiddy/predicator

  A web app to allow creation of Natural Deduction proofs.

  Language:JavaScript4