-
dotfiles Public
Dotfiles and misc. scripts for fast setup on new machines
Vim Script UpdatedAug 1, 2026 -
WeiqiHub Public
A unified client to multiple Go servers and offline puzzle solving.
-
-
flutter-tflite Public
Forked from tensorflow/flutter-tfliteDart Apache License 2.0 UpdatedAug 19, 2025 -
-
-
MATH.MA.770 Public
Notes and programs for "Proof Theory in Mathematical Logic" course MATH.MA.770-2021-2022-2 at Tampere University
OCaml MIT License UpdatedMay 15, 2022 -
-
kaktusat Public
A study playground about SAT solvers, their implementation and applications
-
-
cicada3301 Public
A playground to experiment with cicada puzzles.
-
-
-
repro6048 Public archive
Sample project for reproducing https://github.com/bazelbuild/bazel/issues/6048
C++ UpdatedSep 5, 2018 -
-
gocf Public
A terminal-based CHelper-inspired wannabe project for Go(lang) enthusiasts
Go Apache License 2.0 UpdatedAug 5, 2016
{{ message }}