Highlights
- Pro
-
dusa Public
A logic programming language that has features of both Datalog and answer set programming.
-
-
2025-07-16-Addition-Server Public
Forked from mwand/2025-07-16-Addition-ServerTypeScript UpdatedNov 8, 2025 -
-
theorem_proving_in_lean4 Public
Forked from leanprover/theorem_proving_in_lean4Theorem Proving in Lean 4
Lean Apache License 2.0 UpdatedOct 23, 2025 -
fp-lean Public
Forked from leanprover/fp-leanFunctional Programming in Lean
Lean Other UpdatedOct 23, 2025 -
-
ovenchar-2025-09-12 Public
Jason and Rob's grand adventure in reducing the size of the C code Lean outputs for a toy example
Lean UpdatedSep 26, 2025 -
ovenchar-2025-09-16 Public
tiny verso manual project demonstrating a probably bug
Lean UpdatedSep 16, 2025 -
-
gel Public
Forked from geldata/gelGel supercharges Postgres with a modern data model, graph queries, Auth & AI solutions, and much more.
Python Apache License 2.0 UpdatedJun 29, 2025 -
-
-
sketchzone Public
Quality-of-life for fiddly little JS apps that modify user-generated text
-
-
-
-
example-node-site Public
Forked from letsdiscodev/example-node-siteJavaScript MIT License UpdatedDec 17, 2024 -
dusa-benchmarking Public
Benchmarking for the Dusa programming language and comparison with similar systems
JavaScript GNU General Public License v3.0 UpdatedDec 14, 2024 -
minimalish-django-starter Public
Forked from gregsadetsky/minimalish-django-starterDjango boilerplate starter kit & easy deployment to render.com
Python UpdatedDec 13, 2024 -
-
-
sketchzone-disco Public
Using sketchzone as a static Vite site on Disco
-
-
micromark Public
Forked from micromark/micromarksmall, safe, and great commonmark (optionally gfm) compliant markdown parser
JavaScript MIT License UpdatedMar 29, 2024 -
-
twelf-wasm Public
Forked from jcreedcmu/twelf-wasmRun Twelf in the browser with wasm and WASI
-
twelf-wiki-archive Public
Backup of the start-of-2024 Twelf wiki
JavaScript MIT License UpdatedMar 15, 2024 -
-