dbp
Follow
-
-
pyret-lang Public
Forked from brownplt/pyret-langThe Pyret language.
JavaScript Other UpdatedAug 21, 2025 -
-
code.pyret.org Public
Forked from brownplt/code.pyret.orgWebsite for serving Pyret to folks.
JavaScript Other UpdatedJun 27, 2025 -
-
-
dream Public
Forked from aantron/dreamTidy, feature-complete Web framework
OCaml MIT License UpdatedFeb 25, 2025 -
-
-
bottlenose Public
Forked from CodeGrade/bottlenoseCS assignment / grade mangement system
Ruby GNU Affero General Public License v3.0 UpdatedOct 21, 2023 -
gradescope-racket Public
Forked from shriram/gradescope-racketInfrastructure to autograde Racket code on Gradescope
-
isl-spec Public
Intermediate Student with Lambda (ISL+) Enhanced with Specification support via Quickcheck
-
-
lean4 Public
Forked from leanprover/lean4Lean 4 programming language and theorem prover
Lean Apache License 2.0 UpdatedJan 27, 2023 -
learnyouahaskell.github.io Public
Forked from learnyouahaskell/learnyouahaskell.github.ioA community version of the renowned "Learn You a Haskell" (LYAH) tutorials collection!
Other UpdatedAug 31, 2022 -
logic_and_proof Public
Forked from leanprover/logic_and_proof_lean3CMU Undergrad Course
TeX Apache License 2.0 UpdatedApr 6, 2022 -
-
wasm-spec Public
Forked from WebAssembly/specWebAssembly specification, reference interpreter, and test suite.
WebAssembly Other UpdatedNov 2, 2021 -
-
WasmCert-Coq Public
Forked from WasmCert/WasmCert-CoqAn in-progress mechanisation of Wasm in Coq
Coq MIT License UpdatedAug 4, 2021 -
ott Public
Forked from ott-lang/ottThe Ott tool for writing definitions of programming languages and calculi
OCaml Other UpdatedNov 17, 2020 -
-
stipends Public
Application for collection & displaying PhD student stipends at Northeastern University.
Haskell Other UpdatedSep 23, 2020 -
icfp2019-papers Public
Forked from llelf/icfp2019-papersICFP 2019 preprints/papers
UpdatedJun 26, 2019 -
pnp Public
Forked from ilyasergey/pnpLecture notes for a short course on proving/programming in Coq via SSReflect.
-
shoebox Public
Shoebox: a durable repository for human-scale collections of files, like the shoebox full of old letters and family photos discovered 50 years later.
-
PG Public
Forked from ProofGeneral/PGThis repo is the new home of Proof General
Emacs Lisp GNU General Public License v2.0 UpdatedOct 30, 2018 -
-
-