Arrange by
View
All Documents
Some Documents
Teaching Experience
Code Summary
Please respect all copyrights when downloading.

Common Lisp

1ceb-nat-etr.lisp Available as part of TPS1826 lines
2ceb-nat-seq.lisp Available as part of TPS403 lines
3constraints.lisp Available as part of TPS3371 lines
4ext-exp-dag-macros.lisp Available as part of TPS337 lines
5ext-exp-dags.lisp Available as part of TPS3075 lines
6ext-exp-dags-nd.lisp Available as part of TPS1194 lines
7ext-exp-open-dags.lisp Available as part of TPS1687 lines
8ext-mate-top.lisp Available as part of TPS1609 lines
9ext-search.lisp Available as part of TPS5555 lines
10ext-seq.lisp Available as part of TPS1622 lines
11ext-seq-tactics.lisp Available as part of TPS1030 lines
12ext-seq-top.lisp Available as part of TPS3759 lines
13ftree-seq.lisp Available as part of TPS4209 lines
14ftrees.lisp Available as part of TPS1949 lines
15lemmas.lisp Available as part of TPS244 lines
16models.lisp Available as part of TPS1087 lines
17ms04-search.lisp Available as part of TPS4672 lines
18boot.lisp Available as part of Scunak 1.0567 lines
19main.lisp Available as part of Scunak 1.0397 lines
20sig.lisp Available as part of Scunak 1.0668 lines
21dtt.lisp Available as part of Scunak 1.01788 lines
22extended-ctxs.lisp Available as part of Scunak 1.057 lines
23output-sig.lisp Available as part of Scunak 1.084 lines
24direct-latex.lisp Available as part of Scunak 1.0398 lines
25lamsig.lisp Available as part of Scunak 1.0598 lines
26defns.lisp Available as part of Scunak 1.0138 lines
27congruence.lisp Available as part of Scunak 1.01140 lines
28preterms.lisp Available as part of Scunak 1.0664 lines
29parser.lisp Available as part of Scunak 1.0495 lines
30input1.lisp Available as part of Scunak 1.03162 lines
31interactive1.lisp Available as part of Scunak 1.0243 lines
32output1.lisp Available as part of Scunak 1.0463 lines
33checker1.lisp Available as part of Scunak 1.0155 lines
34sci.lisp Available as part of Scunak 1.0254 lines
35scip.lisp Available as part of Scunak 1.04478 lines
36tutor1.lisp Available as part of Scunak 1.01872 lines
37unif.lisp Available as part of Scunak 1.02868 lines
38enumeration.lisp Available as part of Scunak 1.0325 lines
39fohorn.lisp Available as part of Scunak 1.0411 lines
40comp-set-tableau.lisp Available as part of Scunak 1.0552 lines
41call-vampire.lisp Available as part of Scunak 1.0320 lines
42scunakator.lisp Available as part of Scunak 1.0636 lines
43scunakation-methods.lisp Available as part of Scunak 1.01943 lines
44proofread.lisp Available as part of Scunak 1.0243 lines

OCaml

45checker.ml Available as part of Simptcheck542 lines
46checker.mli Available as part of Simptcheck44 lines
47digraph.ml Available as part of Simptcheck73 lines
48digraph.mli Available as part of Simptcheck12 lines
49parsedata.ml Available as part of Simptcheck48 lines
50parsedata.mli Available as part of Simptcheck30 lines
51simptcheck.ml Available as part of Simptcheck174 lines
52state.ml Available as part of Simptcheck259 lines
53state.mli Available as part of Simptcheck53 lines
54syntax.ml Available as part of Simptcheck69 lines
55syntax.mli Available as part of Simptcheck33 lines

ocamllex

56lexer.mll Available as part of Simptcheck36 lines

ocamlyacc

57parser.mly Available as part of Simptcheck46 lines

JavaScript

58syntax.js Jitpro Site2067 lines
59prover.js Jitpro Site2550 lines
60sqrtpfs.js JSIRSRPNLO: The JavaScript (Ir)rationality of Square Roots Prover with Natural Language Output85 lines

Java

61EtpsAppletClassStart.java Available as part of TPS111 lines
62TpsAppletExpertStart.java Available as part of TPS66 lines
63TpsAppletStart.java Available as part of TPS49 lines
64TpsStart.java Available as part of TPS67 lines
65TpsApplet.java Available as part of TPS287 lines
66TpsBarListener.java Available as part of TPS25 lines
67TpsBigFonts.java Available as part of TPS57 lines
68TpsDisplayApplet.java Available as part of TPS206 lines
69TpsDisplayEventListener.java Available as part of TPS41 lines
70TpsDisplay.java Available as part of TPS68 lines
71TpsDisplayThread.java Available as part of TPS68 lines
72TpsDisplayWindowListener.java Available as part of TPS48 lines
73TpsEventListener.java Available as part of TPS48 lines
74TpsInterfaceApplet.java Available as part of TPS36 lines
75TpsKeyListener.java Available as part of TPS56 lines
76TpsMenuActionListener.java Available as part of TPS64 lines
77TpsPrompt.java Available as part of TPS180 lines
78TpsPromptWindowListener.java Available as part of TPS40 lines
79TpsSmallFonts.java Available as part of TPS57 lines
80TpsThread.java Available as part of TPS282 lines
81TpsWindowListener.java Available as part of TPS40 lines
82TpsWin.java Available as part of TPS2050 lines