Iowa City

Chris Dibbern

Expert
@cdibbs

folproof. A Javascript First-Order Logic (FOL) proof verifier

11

linq2ldap. Thin, DirectoryServices wrapper libraries that facilitate using LINQ Expressions as LDAP filters.

10

linq2ldap.core. The core, platform-agnostic transpiler and parser behind Linq2Ldap.

9

language-jison. Jison syntax definition for the Atom editor and Github linguist.

6

theorycss. Experimental css meta language

2

neoman-engine. The engine backing Neoman.

1
6
Apply