5-day longest streak
-
ein ★ PINNED
Points for Free: Embedding Pointful Array Programming in Python
Python ★ 22 1y agoExplain → -
fabric ★ PINNED
Breaking records: Language design with structural subtyping
OCaml ★ 1 9mo agoExplain → -
onnx ★ PINNED ⑂
Open standard for machine learning interoperability
Python ★ 0 3y agoExplain → -
cpp-algorithmics-delta ★ PINNED
My collection of algorithms and solutions for algorithmic tasks collected over the years.
C++ ★ 6 3y agoExplain → -
tenebris
Roguelike with procedural (re)generation for Cam Game Jam 2023
Rust ★ 5 3y agoExplain → -
ort-lua
Lua interpreter embedded as an ONNX Runtime operator
C++ ★ 4 3y agoExplain → -
taucheck
The successor of thetacheck. An utility for testing a program with a set of input and output files.
Python ★ 2 3y agoExplain → -
ein-thesis
Bachelor's Thesis - Embedding Pointful Array Programming in Python
TeX ★ 1 1y agoExplain → -
fabric-thesis
Master's Thesis - Breaking records with structural subtyping
TeX ★ 1 9mo agoExplain → -
tensat ⑂
Re-implementation of the TASO compiler using equality saturation
★ 1 1y agoExplain → -
arkadiusz
Retro-inspired reflected shoot 'em up for Cam Game Jam 2024
GDScript ★ 1 2y agoExplain → -
cpp-algorithmics-old ▣
A repository with lots of solutions to various algorithmic exercises.
C++ ★ 1 8y agoExplain → -
vase
Compiler frontend with Brzozowski derivatives & parser combinators
OCaml ★ 1 3y agoExplain → -
spox-array
Implementation of a numpy-compatible array in Spox
Python ★ 1 3y agoExplain → -
thrymeir ▣
A RPG game written in Python using pyglet and lupa, by Kubin and Franz Wexler.
Python ★ 1 8y agoExplain → -
hornchen
A Roguelike/RPG game, made in Python/Cython.
Python ★ 1 3y agoExplain → -
jbachurski.github.io
No description.
HTML ★ 0 3mo agoExplain → -
flambda-backend ⑂
The Flambda backend project for OCaml
★ 0 1y agoExplain → -
omelette
No description.
Rust ★ 0 1y agoExplain → -
onnxscript ⑂
No description.
Python ★ 0 3y agoExplain → -
ocaml ⑂
The core OCaml system: compilers, runtime system, base libraries
★ 0 3y agoExplain → -
logia-tryhard-saga ▣
Old solutions to Logia. Disclaimer: These are old and I do not take responsibility for this atrocity.
Python ★ 0 8y agoExplain → -
onnxruntime ⑂
ONNX Runtime: cross-platform, high performance ML inferencing and training accelerator
★ 0 3y agoExplain → -
kactl ⑂
KTH Algorithm Competition Template Library (Drzewiec, UniOfCam)
C++ ★ 0 2y agoExplain → -
hrad
Automatic differentiation and applications in Haskell
Haskell ★ 0 3y agoExplain → -
iotapack
A simple tool for compiling SIO2 packages.
Python ★ 0 3y agoExplain → -
siogo
A simple SIO2 CLI, based on requests.
Python ★ 0 3y agoExplain → -
thetacheck
A Python utility for testing apps based on a set of test files.
Python ★ 0 3y agoExplain → -
helix-poll-bot
A bot for polls on Discord.
Python ★ 0 3y agoExplain → -
mapfind
Simple, easily configurable app that helps you learn where points on a certain map are.
Python ★ 0 3y agoExplain → -
io-mazegen
A self-made maze generation algorithm used in Hornchen. main.py runs an animation. Requires pygame to run the animation.
Python ★ 0 3y agoExplain → -
qtetris
A tetris game. Also includes an AI (and a genetic algorithm).
Python ★ 0 3y agoExplain → -
foosball ⑂
No description.
★ 0 4y agoExplain →
No repos match these filters.