|
Coq |
596 |
Formal Reasoning About Programs |
May 08, 2023 |
|
UrWeb |
4 |
None |
Aug 22, 2018 |
|
UrWeb |
5 |
Ur/web chatroom |
Mar 22, 2022 |
|
UrWeb |
12 |
WIP: Presentation turned blog series: Building the simplest possible thing over and over again. |
Nov 16, 2020 |
|
UrWeb |
3 |
Secret Hitler implemented with Ur/Web |
Sep 16, 2018 |
|
UrWeb |
3 |
None |
Nov 02, 2020 |
|
UrWeb |
3 |
Collection of basic combinators for Ur/Web, inspired by Haskell's Prelude library |
Nov 02, 2020 |
|
UrWeb |
138 |
Beautiful, interactive visualizations of logical inference |
May 30, 2022 |
|
UrWeb |
3 |
UPO extensions for MIT |
Dec 16, 2021 |
|
UrWeb |
3 |
Upload files in Ur/Web without forcing page reloads |
May 21, 2023 |
|
UrWeb |
4 |
Interface to Twitter Bootstrap CSS library |
Nov 03, 2022 |
|
UrWeb |
28 |
The Ur/Web People Organizer |
Apr 14, 2023 |
|
UrWeb |
5 |
Interfaces to common web APIs |
Nov 09, 2021 |
|
Coq |
15 |
Coq library for reasoning about quantum programs |
Apr 26, 2023 |
|
Coq |
2 |
Coq library for reasoning about quantum programs |
Aug 31, 2022 |
|
OCaml |
172 |
Formal verification of OCaml programs |
Jun 23, 2022 |
|
Python |
769 |
Inferring and Executing Programs for Visual Reasoning |
Aug 01, 2022 |
|
Python |
3 |
Inferring and Executing Programs for Visual Reasoning |
Jun 16, 2020 |
|
Python |
2 |
Inferring and Executing Programs for Visual Reasoning |
Sep 15, 2020 |
|
Python |
2 |
Inferring and Executing Programs for Visual Reasoning |
Jul 07, 2021 |
|
Python |
2 |
Inferring and Executing Programs for Visual Reasoning |
Jul 11, 2018 |
|
Verilog |
6 |
materials for Formal Verification introduction course |
Mar 17, 2022 |
|
CSS |
37 |
Course notes for CS323: Automated Reasoning |
Jul 13, 2022 |
|
C++ |
12 |
An LLVM-based formal verification frontend for C programs. |
Aug 10, 2022 |
|
C# |
4 |
Training course about web api asp.net course |
Jun 11, 2022 |
|
None |
2 |
place for thoughts about online probabilistic reasoning |
Apr 18, 2014 |
|
None |
2 |
Simple MAUI application about Online course. |
May 19, 2023 |
|
Python |
50 |
Web Application for FCU course search |
Apr 24, 2023 |
|
TeX |
3 |
Repository for the web application course. |
Feb 03, 2017 |
|
Python |
2 |
Tools for reasoning about calibration & imaging problem sizes |
Nov 11, 2019 |
|
Isabelle |
6 |
Formal proofs about Ethereum slashing protection strategies |
Jan 01, 2022 |
|
TypeScript |
5 |
Jet Protocol governance programs and web-application. |
Apr 30, 2022 |
|
JavaScript |
4 |
Web Development Application course ESPOL |
Jan 30, 2023 |
|
Dockerfile |
7 |
Servers for the web application 2 course. |
Mar 02, 2022 |
|
HTML |
2 |
Project Management Application for Web Programming Course |
Nov 22, 2017 |
|
Java |
3 |
Web application for monitoring the university course |
Sep 23, 2021 |
|
JavaScript |
3 |
Course Planner web application for CSE 183 |
May 29, 2023 |
|
None |
41 |
A systematic course about web science for graduate students |
Mar 03, 2023 |
|
OCaml |
302 |
Research prototype tool for modular formal verification of C and Java programs |
Apr 19, 2023 |
|
Racket |
13 |
Tools for reasoning about circuits in Rosette/Racket 🔌 |
Jul 10, 2022 |
|
JavaScript |
169 |
Utilities for reasoning about musical notes, frequencies, and intervals |
Aug 28, 2022 |
|
Elixir |
4 |
Explicit message passing for improved reasoning about actor systems |
Dec 09, 2022 |
|
Jupyter Notebook |
2 |
ROCK: Causal Inference Principles for Reasoning about Commonsense Causality |
Aug 16, 2022 |
|
Common Lisp |
9 |
Reasoning about functions with restricted argument types. |
Dec 26, 2021 |
|
Coq |
4 |
Reasoning about BGP configurations. Public development repo. |
Jul 10, 2022 |
|
Coq |
3 |
Reasoning about finite type cardinality in Coq |
Mar 30, 2023 |
|
Python |
4 |
My coursework for Udacity's Web Application Engineering course |
Apr 27, 2021 |
|
TypeScript |
2 |
Course Review Web Application for SUNY Korea students |
May 27, 2023 |
|
Hack |
2 |
Course web application - built with PHP |
Jul 10, 2023 |
|
Java |
5 |
Sample programs for the RCOMP course |
Oct 11, 2022 |