-
-
-
bazinga9000.github.io Public
Website for Website Things
-
nixpkgs Public
Forked from NixOS/nixpkgsNix Packages collection & NixOS
Nix MIT License UpdatedOct 12, 2025 -
nixpkgs-review-gha Public
Forked from Defelo/nixpkgs-review-ghaRun nixpkgs-review in GitHub Actions
JavaScript MIT License UpdatedOct 10, 2025 -
-
trie-rs Public
Forked from laysakura/trie-rsMemory efficient trie (prefix tree) library based on LOUDS
Rust Apache License 2.0 UpdatedNov 7, 2024 -
-
-
-
-
-
QuickTarget Public
Implementation of Targeted Property-Based Testing in Coq QuickChick
Coq Other UpdatedJan 17, 2023 -
ozymandias Public
Arbitrary chess variant player
Haskell BSD 3-Clause "New" or "Revised" License UpdatedJul 28, 2022 -
quickCheckmate Public
Targeted property-based testing in Haskell
Haskell BSD 3-Clause "New" or "Revised" License UpdatedMay 16, 2022 -
Polytris2 Public
Tetris with arbitrary polyominoes, the "new" 2019 version.
C++ UpdatedJan 28, 2022 -
-
-
-
-
Cavalry-Challenge Public
user-created creatures kill each other on a toroidal gameboard
Python UpdatedJun 12, 2017 -
Game-of-Strife-and-Death Public
evolving game of life and death
{{ message }}