Pinned Repositories
Common-Lisp-Actors
An actor system for Common Lisp.
DCECProver
(Now outdated) See https://github.com/naveensundarg/ShadowProver for the latest.
deontic-logic
A repo for logic experiments and demonstrations
DPL
A Propositional Alpha Denotational Proof Language
Eng-DCEC
prover
reasoner-notebooks
RLCNL
RAIR Lab's Logically Controlled Natural Language
ShadowProver
!!Deprecated!! (Please use https://github.com/naveensundarg/prover)
tensorflow
An Open Source Machine Learning Framework for Everyone
naveensundarg's Repositories
naveensundarg/Common-Lisp-Actors
An actor system for Common Lisp.
naveensundarg/prover
naveensundarg/DCECProver
(Now outdated) See https://github.com/naveensundarg/ShadowProver for the latest.
naveensundarg/Eng-DCEC
naveensundarg/ShadowProver
!!Deprecated!! (Please use https://github.com/naveensundarg/prover)
naveensundarg/deontic-logic
A repo for logic experiments and demonstrations
naveensundarg/DPL
A Propositional Alpha Denotational Proof Language
naveensundarg/RLCNL
RAIR Lab's Logically Controlled Natural Language
naveensundarg/Spectra
naveensundarg/catabotrescue-unity
Catabot Rescue Game in Unity
naveensundarg/dcec
naveensundarg/G
naveensundarg/vulcan
A JavaScript propositional logic and resolution library
naveensundarg/reasoner-notebooks
naveensundarg/ai-physics
Towards Automatic Theorem Discovery in Physics (starting modestly)
naveensundarg/cc-models
naveensundarg/check
naveensundarg/DLReasoner
naveensundarg/EthicalSubstrate
Ethical Substrate
naveensundarg/example-requirements
A Binder-compatible repo with a requirements.txt file
naveensundarg/heroku-cl-example
Example use of Heroku Common Lisp Buildpack
naveensundarg/learningasreasoning
naveensundarg/Nucleus
naveensundarg/RAIR-Plan
A Planner from R
naveensundarg/SEP.AI.BayesNetExample
naveensundarg/streamlit-example
Example Streamlit app that you can fork to test out share.streamlit.io
naveensundarg/syntacticlearner
naveensundarg/tensorflow
Computation using data flow graphs for scalable machine learning
naveensundarg/unitlearner
naveensundarg/zeus