Pinned Repositories
aoc2020
https://adventofcode.com/2020
aoc2021
https://adventofcode.com/2021
bingowq-scraper
A scraper for http://bingoweiqi.com
cicada3301
A playground to experiment with cicada puzzles.
kaktusat
A study playground about SAT solvers, their implementation and applications
logic
Notes and programs on mathematical logic.
zrl
Support library for ZRL
zrlc
The ZRL Programming Language
api
openfoxwq_client
A multiplatform unofficial client for Fox go server (foxwq)
ale64bit's Repositories
ale64bit/zrlc
The ZRL Programming Language
ale64bit/kaktusat
A study playground about SAT solvers, their implementation and applications
ale64bit/cicada3301
A playground to experiment with cicada puzzles.
ale64bit/aoc2020
https://adventofcode.com/2020
ale64bit/aoc2021
https://adventofcode.com/2021
ale64bit/bingowq-scraper
A scraper for http://bingoweiqi.com
ale64bit/dotfiles
Dotfiles and misc. scripts for fast setup on new machines
ale64bit/gocf
A terminal-based CHelper-inspired wannabe project for Go(lang) enthusiasts
ale64bit/logic
Notes and programs on mathematical logic.
ale64bit/MATH.MA.770
Notes and programs for "Proof Theory in Mathematical Logic" course MATH.MA.770-2021-2022-2 at Tampere University
ale64bit/zrl
Support library for ZRL
ale64bit/meetup
Examples for Scala-Helsinki meetup 29/09/2016
ale64bit/repro6048
Sample project for reproducing https://github.com/bazelbuild/bazel/issues/6048