naveensundarg/dcec
Public repository.
Developer Profile
naveensundarg
Discovered public repositories for naveensundarg in the GitHub catalog.
naveensundarg/DCECProver
(Now outdated) See https://github.com/naveensundarg/ShadowProver for the latest.
naveensundarg/Nucleus
Public repository.
naveensundarg/Eng-DCEC
Public repository.
naveensundarg/G
Public repository.
naveensundarg/check
Public repository.
naveensundarg/EthicalSubstrate
Ethical Substrate
naveensundarg/ai-physics
Towards Automatic Theorem Discovery in Physics (starting modestly)
naveensundarg/RAIR-Plan
A Planner from R
naveensundarg/heroku-cl-example
Example use of Heroku Common Lisp Buildpack
naveensundarg/deontic-logic
A repo for logic experiments and demonstrations
naveensundarg/RLCNL
RAIR Lab's Logically Controlled Natural Language
naveensundarg/DPL
A Propositional Alpha Denotational Proof Language
naveensundarg/Common-Lisp-Actors
An actor system for Common Lisp.