Pinned Repositories
acl2
ACL2 System and Books as Maintained by the Community
acl2
ACL2 System and Books as Maintained by the Community
asp
asp* FIFO proof
DPLL
Global convergence of a digital Phase-Locked Loop.
smtlink
Integrate the Smtlink solver Z3 into the theorem prover ACL2.
support-vector-regression
machine learning coding project
pennyan's Repositories
pennyan/smtlink
Integrate the Smtlink solver Z3 into the theorem prover ACL2.
pennyan/acl2
ACL2 System and Books as Maintained by the Community
pennyan/DPLL
Global convergence of a digital Phase-Locked Loop.
pennyan/support-vector-regression
machine learning coding project
pennyan/asp
asp* FIFO proof
pennyan/emacs-netlist-modes
Emacs SPICE/spectre/Eldo netlist modes
pennyan/learn-fp
learn-by-doing course/tutorial for functional programming on scala
pennyan/llc-intro-to-python
Full day Intro to Programming and Python (SLIDES - http://ladieslearningcode.github.io/llc-intro-to-python/slides.html), (LEARNER FILES - http://bit.ly/29toeSb), no sample project
pennyan/test-git
pennyan/ubcdiss
A LaTeX template for dissertations at the University of British Columbia
pennyan/verify-todec
Formal check of Raffaello Guilietti's paper "Rendering doubles in Java"