-
doty Public
Forked from mabene/dotyDay-of-the-Year (DotY) puzzle solver. Solves the DotY board puzzle for a given date by finding valid placements for all 10 pieces of the puzzle, so to leave only the target date visible (month, day…
Python UpdatedNov 11, 2025 -
z3guide Public
Forked from microsoft/z3guideTutorials and courses for Z3
JavaScript MIT License UpdatedOct 24, 2025 -
-
etherpad-lite Public
Forked from ether/etherpad-liteEtherpad: A modern really-real-time collaborative document editor.
TypeScript Apache License 2.0 UpdatedApr 7, 2025 -
typeshed Public
Forked from python/typeshedCollection of library stubs for Python, with static types
Python Other UpdatedFeb 11, 2025 -
distributed-consensus-reading-list Public
Forked from heidihoward/distributed-consensus-reading-listA list of papers about distributed consensus.
UpdatedAug 8, 2024 -
loti Public
Forked from shuveb/lotiLord of the io_uring: io_uring tutorial, examples and reference
C MIT License UpdatedAug 2, 2024 -
liburing4cpp Public
Forked from CarterLi/liburing4cppModern C++ binding for liburing (io_uring) that features C++ coroutines support
C++ MIT License UpdatedJul 30, 2024 -
JSON.minify Public
Forked from getify/JSON.minifySimple minifier for JSON to remove comments and whitespace
1 UpdatedNov 27, 2023
{{ message }}