kasterma

EvergreenRepeat

C 0 0

Updated 2026-01-10 18:16:59 +01:00

cryptopals

Python 0 0

Updated 2025-10-29 14:23:22 +01:00

mathematics_in_lean

HTML 0 0

My working copy of mathematics in lean; with notes, answers, ...

Updated 2025-09-02 14:19:07 +02:00

plar

Lean 0 0

Practical Logic and Automated Reasoning

Updated 2025-05-16 15:44:21 +02:00

automation

Python 0 0

Experiments with automation; git, jenkins, automated deployments, ...

Updated 2025-05-16 13:44:29 +02:00

cookiecutters

Makefile 0 0

Updated 2025-05-16 13:40:47 +02:00

simulation

Python 0 0

Updated 2025-05-16 12:20:59 +02:00

pypgm

Python 0 0

Playing with PGM in Python

Updated 2025-05-16 12:05:38 +02:00

analogga

Python 0 0

Playing with logs and some automation around it

Updated 2025-04-28 05:13:05 +02:00

drlnd-navigation

Python 0 0

Navigation Project of the Deep Reinforcement Learning Udacity Nanodegree

Updated 2025-04-21 13:03:39 +02:00

drlnd-collab-compet

Python 0 0

Deep reinforcement learning; started from a problem in udacity course, now extended.

Updated 2025-04-21 12:36:35 +02:00

drlnd-continuous

Python 0 0

Continuous Control Project of the Deep Reinforcement Learning Udacity Nanodegree

Updated 2025-04-21 12:32:13 +02:00

raft

Python 0 0

Implementation of the raft algorithm

Updated 2025-04-17 08:42:29 +02:00

btree

Assembly 0 0

A Btree implemented in Linux Assembler.

Updated 2025-04-15 14:11:00 +02:00

mixrecursion

0 0

Recursion implemented in MIX.

Updated 2025-04-15 13:25:01 +02:00