Skip to content
View cdibbs's full-sized avatar
  • The University of Iowa
  • Iowa City

Highlights

  • Pro

Block or report cdibbs

Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Pinned Loading

  1. folproof folproof Public

    A Javascript First-Order Logic (FOL) proof verifier

    JavaScript 11 3

  2. language-jison language-jison Public

    Jison syntax definition for the Atom editor and Github linguist.

    CoffeeScript 6 2

  3. ossplz/typed-storage ossplz/typed-storage Public

    Typed Storage layer to wrap browser storage and auto-(de)serialize nested models or simple primitives. Optional namespaces.

    TypeScript

  4. dotnet/templating dotnet/templating Public

    This repo contains the Template Engine which is used by dotnet new

    1.7k 396

  5. ossplz/simple-mapper ossplz/simple-mapper Public

    A convention-based mapping library for nodejs and the browser.

    TypeScript

  6. arser arser Public

    Forked from RaajRemesh/arser

    Command line parser

    TypeScript 1