-
-
fabric-thesis Public
Master's Thesis - Breaking records with structural subtyping
-
fabric Public
Breaking records: Language design with structural subtyping
-
-
ein-thesis Public
Bachelor's Thesis - Embedding Pointful Array Programming in Python
-
tensat Public
Forked from smjleo/tensatRe-implementation of the TASO compiler using equality saturation
-
ein Public
Points for Free: Embedding Pointful Array Programming in Python
-
flambda-backend Public
Forked from oxcaml/oxcamlThe Flambda backend project for OCaml
OCaml UpdatedJul 26, 2024 -
arkadiusz Public
Retro-inspired reflected shoot 'em up for Cam Game Jam 2024
-
kactl Public
Forked from kth-competitive-programming/kactlKTH Algorithm Competition Template Library (Drzewiec, UniOfCam)
-
vase Public
Compiler frontend with Brzozowski derivatives & parser combinators
-
-
Open standard for machine learning interoperability
-
-
-
ocaml Public
Forked from ocaml/ocamlThe core OCaml system: compilers, runtime system, base libraries
OCaml Other UpdatedFeb 24, 2023 -
tenebris Public
Roguelike with procedural (re)generation for Cam Game Jam 2023
-
onnxruntime Public
Forked from microsoft/onnxruntimeONNX Runtime: cross-platform, high performance ML inferencing and training accelerator
C++ MIT License UpdatedDec 11, 2022 -
-
iotapack Public
A simple tool for compiling SIO2 packages.
Python Mozilla Public License 2.0 UpdatedSep 10, 2022 -
taucheck Public
The successor of thetacheck. An utility for testing a program with a set of input and output files.
-
cpp-algorithmics-delta Public
My collection of algorithms and solutions for algorithmic tasks collected over the years.
-
thetacheck Public
A Python utility for testing apps based on a set of test files.
Python Mozilla Public License 2.0 UpdatedSep 10, 2022 -
siogo Public
A simple SIO2 CLI, based on requests.
Python Mozilla Public License 2.0 UpdatedSep 10, 2022 -
helix-poll-bot Public
A bot for polls on Discord.
Python Mozilla Public License 2.0 UpdatedSep 10, 2022 -
hornchen Public
A Roguelike/RPG game, made in Python/Cython.
-
mapfind Public
Simple, easily configurable app that helps you learn where points on a certain map are.
Python UpdatedSep 10, 2022 -
qtetris Public
A tetris game. Also includes an AI (and a genetic algorithm).
Python UpdatedSep 10, 2022 -
io-mazegen Public
A self-made maze generation algorithm used in Hornchen. main.py runs an animation. Requires pygame to run the animation.
Python UpdatedSep 10, 2022 -
{{ message }}