-
omsim Public
simulator for 2017 zachtronics puzzle game "opus magnum"
-
messageformat.dev Public
Forked from unicode-org/messageformat.devCLDR MFv2 WG's guide and message format demo site.
JavaScript Other UpdatedFeb 16, 2026 -
owl Public
A parser generator for visibly pushdown languages.
-
-
lean4 Public
Forked from leanprover/lean4Lean 4 programming language and theorem prover
Lean Apache License 2.0 UpdatedMar 22, 2025 -
lean2wasm Public
Forked from T-Brick/lean2wasmTool for compiling Lean to WASM
Lean MIT License UpdatedJan 28, 2025 -
lipu Public
Forked from lipu-linku/lipulipu Linku, a toki pona dictionary
Svelte GNU General Public License v3.0 UpdatedDec 17, 2024 -
omsp Public
Forked from F43nd1r/omspOpus Magnum Solution Parser
Kotlin Apache License 2.0 UpdatedApr 29, 2024 -
trashbot Public
Forked from ICEREG1992/trashbotA discord bot that does some funny things
Python UpdatedJul 7, 2023 -
content Public
Forked from mdn/contentThe content behind MDN Web Docs
Markdown Other UpdatedJun 5, 2023 -
0.30000000000000004 Public
Forked from erikwiffin/0.30000000000000004Floating Point Math Examples
CSS GNU General Public License v3.0 UpdatedDec 22, 2022 -
spec Public
Forked from WebAssembly/specWebAssembly specification, reference interpreter, and test suite.
WebAssembly Other UpdatedAug 11, 2022 -
lipu-linku.github.io Public
Forked from lipu-linku/lipu-piniWebsite to browse mirrored toki pona dictionary.
JavaScript UpdatedMay 1, 2022 -
zachtronics-leaderboard-bot Public
Forked from F43nd1r/zachtronics-leaderboard-botKotlin Apache License 2.0 UpdatedDec 24, 2021 -
BespokeSynth Public
Forked from BespokeSynth/BespokeSynthSoftware modular synth
C++ GNU General Public License v3.0 UpdatedSep 22, 2021 -
-
CodeMirror Public
Forked from codemirror/codemirror5In-browser code editor
JavaScript MIT License UpdatedMar 2, 2021 -
go-gopher Public
Forked from stryan/go-gopherGopher (RFC 1436) protocol library for the Go (Golang) programming language supporting both client and server
Go Other UpdatedOct 22, 2020 -
perfect6502 Public
Forked from mist64/perfect6502perfect6502, a MOS 6502 CPU emulator that performs a simulation of the original NMOS 6502 netlist
C UpdatedOct 27, 2019 -
district-tiler Public
Look up congressional districts client-side using only JavaScript and static files.
-
html Public
Forked from whatwg/htmlHTML Standard
HTML Creative Commons Attribution 4.0 International UpdatedMay 22, 2019 -
emscripten Public
Forked from emscripten-core/emscriptenEmscripten: An LLVM-to-JavaScript Compiler
C Other UpdatedJul 14, 2018 -
charting-death Public
Looking at deaths portrayed in media vs actual statistics.
-
rotonde-client Public
Forked from Rotonde/rotonde-clientRotonde Base Client
-
beaker Public
Forked from Rotonde/beakerDecentralized social network, built ontop of Beaker & Dat
JavaScript MIT License UpdatedOct 17, 2017 -
People Public
Forked from Rotonde/Peoplea list of people and their dat urls
HTML UpdatedOct 14, 2017 -
windmill-client Public
Forked from thefifthmatt/windmill-clientBuild and play puzzles based on the puzzle logic of The Witness
JavaScript Apache License 2.0 UpdatedSep 13, 2017 -
Code-used-on-Daniel-Lemire-s-blog Public
Forked from lemire/Code-used-on-Daniel-Lemire-s-blogThis is a repository for the code posted on my blog
C UpdatedApr 11, 2017 -
Signal-iOS Public
Forked from signalapp/Signal-iOSA private messenger for iOS
C UpdatedMar 17, 2017 -
TeXorator Public
a minimal, dynamically updating LaTeX previewer
{{ message }}