-
-
-
streamlit-example Public
Forked from streamlit/streamlit-exampleExample Streamlit app that you can fork to test out share.streamlit.io
Python UpdatedJul 21, 2023 -
-
-
Common-Lisp-Actors Public
An actor system for Common Lisp.
-
-
-
-
-
-
-
vulcan Public
Forked from RyanMarcus/vulcanA JavaScript propositional logic and resolution library
-
-
-
DCECProver Public
(Now outdated) See https://github.com/naveensundarg/ShadowProver for the latest.
-
ShadowProver Public
!!Deprecated!! (Please use https://github.com/naveensundarg/prover)
-
-
-
example-requirements Public
Forked from binder-project/example-requirementsA Binder-compatible repo with a requirements.txt file
Jupyter Notebook UpdatedFeb 16, 2016 -
tensorflow Public
Forked from tensorflow/tensorflowComputation using data flow graphs for scalable machine learning
C++ Apache License 2.0 UpdatedJan 19, 2016 -
-
-
-
-
-
-
ai-physics Public
Towards Automatic Theorem Discovery in Physics (starting modestly)
Common Lisp UpdatedJun 13, 2013 -
deontic-logic Public
A repo for logic experiments and demonstrations
-
{{ message }}