Block or report user

Popular repositories

  1. Common-Lisp-Actors

    An actor system for Common Lisp.

    Common Lisp 60 13

  2. DCECProver

    (Now outdated) See https://github.com/naveensundarg/ShadowProver for the latest.

    Common Lisp 3 2

  3. DPL

    A Propositional Alpha Denotational Proof Language

    Clojure 2 1

  4. RLCNL

    RAIR Lab's Logically Controlled Natural Language

    Common Lisp 2

  5. deontic-logic

    A repo for logic experiments and demonstrations

    Common Lisp 2

  6. Eng-DCEC

    Python 2 5

73 contributions in the last year

Jul Aug Sep Oct Nov Dec Jan Feb Mar Apr May Jun Jul Mon Wed Fri

Contribution activity First pull request First repository Joined GitHub

July 2017

naveensundarg has no activity yet for this period.

June 2017

Seeing something unexpected? Take a look at the GitHub profile guide.