Pinned Repositories
coq-elpi
Coq plugin embedding elpi
elpi
Embeddable Lambda Prolog Interpreter
FStar
An ML-like language with a type system for program verification
qBraid-qiskit-challenge
Spin_dynamics_testbed
zero_shot_cot
Prod Env
krpcannon's Repositories
krpcannon/coq-elpi
Coq plugin embedding elpi
krpcannon/elpi
Embeddable Lambda Prolog Interpreter
krpcannon/FStar
An ML-like language with a type system for program verification
krpcannon/NN
storing neural nets for later
krpcannon/qBraid-qiskit-challenge
krpcannon/qiskit_chemistry
krpcannon/Spin_dynamics_testbed
krpcannon/zero_shot_cot
Prod Env
krpcannon/episodic-transformer-memory-ppo
Clean baseline implementation of PPO using an episodic TransformerXL memory
krpcannon/quantum
All quantum related files