Skip to content
View ale64bit's full-sized avatar
63 followers · 7 following

Organizations

@helsinki-scala @openfoxwq

Block or report ale64bit

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

  • bingowq-scraper Public

    A scraper for https://bingoweiqi.com

    Go MIT License Updated Jun 28, 2024

  • logic Public

    Notes and programs on mathematical logic.

    OCaml MIT License Updated Jul 3, 2022

  • 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 Updated May 15, 2022

  • aoc2021 Public

    https://adventofcode.com/2021

    C++ Updated Dec 21, 2021

  • kaktusat Public

    A study playground about SAT solvers, their implementation and applications

    C++ 3 MIT License Updated Dec 6, 2021

  • aoc2020 Public

    https://adventofcode.com/2020

    C++ Updated Dec 25, 2020

  • cicada3301 Public

    A playground to experiment with cicada puzzles.

    Go 2 1 MIT License Updated Jul 14, 2020

  • dotfiles Public

    Dotfiles and misc. scripts for fast setup on new machines

    Vim Script Updated Mar 4, 2020

  • zrlc Public

    The ZRL Programming Language

    OCaml 12 Apache License 2.0 Updated Sep 12, 2019

  • zrl Public

    Support library for ZRL

    C++ Apache License 2.0 Updated Sep 6, 2019

  • repro6048 Public archive

    Sample project for reproducing https://github.com/bazelbuild/bazel/issues/6048

    C++ Updated Sep 5, 2018

  • meetup Public

    Examples for Scala-Helsinki meetup 29/09/2016

    Scala 2 Updated Sep 29, 2016

  • gocf Public

    A terminal-based CHelper-inspired wannabe project for Go(lang) enthusiasts

    Go Apache License 2.0 Updated Aug 5, 2016