-
-
codex Public
Forked from openai/codexLightweight coding agent that runs in your terminal
Rust Apache License 2.0 UpdatedFeb 14, 2026 -
-
-
equational_theories Public
Forked from teorth/equational_theoriesA project to map out the relations between different equational theories of Magmas.
Lean Apache License 2.0 UpdatedNov 4, 2025 -
-
-
-
iterated-prisoner-dilemma Public
Iterated prisoner's dilemma where participants can read each other's logic
JavaScript UpdatedFeb 27, 2025 -
-
-
-
-
logic-verifier Public
Working towards a proof assistant that accepts text that looks like mathematical text
-
celtix-solver Public
Let the computer enjoy solving Celtix puzzles so you can do less fun stuff
-
-
sheen-lang Public
Sheen: an allocation-aware scripting language
Rust Mozilla Public License 2.0 UpdatedJan 12, 2024 -
simple-raytracer Public
Based on Ray Tracing in One Weekend, playground for me to learn Rust
Rust UpdatedOct 7, 2023 -
drore Public
A better regular expression library for Python
-
curl.dev Public
Forked from curl/curl.devThe curl.dev website
HTML MIT License UpdatedAug 26, 2023 -
Web-Environment-Integrity Public
Forked from explainers-by-googlers/Web-Environment-IntegrityUpdatedJul 22, 2023 -
-
tired-parent Public
Measuring screen for how tired you are while caring for a baby
HTML Creative Commons Zero v1.0 Universal UpdatedJan 8, 2023 -
ulam-spiral Public
Viewing Ulam's spiral in the browser
HTML Creative Commons Zero v1.0 Universal UpdatedJan 3, 2023 -
Earley Public
Forked from ollef/EarleyParsing all context-free grammars using Earley's algorithm in Haskell.
Haskell BSD 3-Clause "New" or "Revised" License UpdatedNov 26, 2022 -
toot-volute Public
An interpreter for Mastodon posts
JavaScript GNU General Public License v3.0 UpdatedNov 20, 2022 -
-
pregnancy-progress Public
Shows a progress bar with progress report on a pregnancy on the terminal
-
-
eltnames Public
Eltnames: reverse Semantle
JavaScript GNU Affero General Public License v3.0 UpdatedApr 2, 2022
{{ message }}