folke/flash.nvim on ideavim

A free, source-available and fair-code licensed mac app cleaner

📓 Regular reading group of the Prague programming languages and systems research network.

macOS-specific ssh-agent setup

The seL4 microkernel

Repository for the book "Crafting Interpreters"

Example Code for Fundamentals of ML for Software Engineers

A work-in-progress, open-source, multi-player city simulation game.

Experimental high-performance actor system framework for Rust

A compiler and IDE for the Luon programming language - a liaison beween Lua and Oberon+ - targeting LuaJIT

APL games for using with The Computational Language cartridge

Add meta-pages to a lepiter database. For reviewing and annotating GT book pages.

https://wiki.ralfbarkow.ch/view/time-travel-project

Buenos Aires Smalltalk Community Guidelines

An umbrella of radically different directions that we can interface with the web.

Experimental packages to explore interesting concept for the Dybo

Minimal, self-hosted, 0-config alternative to ngrok. Caddy+OpenSSH+50 lines of Python.

Demo examples for the Software Modeling and Analysis course

Helios: Or, a Vision in a Dream. A Fragment.

in which i publish my gt build scripts

Manage and update GToolkit versions

Font & character extensions for Glamorous Toolkit

Leibniz - a Digital Scientific Notation

The place where I, DandelionSprout, store my web filter lists for countless topics, including my Nordic adblock list. As simple as that, really.