Skip to content
View cdibbs's full-sized avatar
16 followers · 11 following
  • The University of Iowa
  • Iowa City

Achievements

Achievement: Pull Sharkx2Achievement: Arctic Code Vault Contributor

Achievements

Achievement: Pull Sharkx2Achievement: Arctic Code Vault Contributor

Highlights

  • Pro

Block or report cdibbs

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
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

    C# 1.6k 370

  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