How to create an OS from scratch

A simple, bare-bones, no-frills note taking app for Android.

A curated list of ontology things

Collection of Vim themes with barely any colors

Clean, vibrant and pleasing color schemes for Vim, Sublime Text, iTerm, gnome-terminal and more.

A public repository to host Alloy models. This repository holds public models to be used as entertainment, examples, tutorials, utilities, and proofs.

A markup-based typesetting system that is powerful and easy to learn.

Pseudo-3D shooter written completely in gawk using raycasting technique

The simple, fast, and scalable code generator that lives in your project.

simplifies creation of hygen templates from existing projects

Open Source realtime backend in 1 file

A lightweight WebAssembly runtime that is fast, secure, and standards-compliant

Quickstart configs for Nvim LSP

my exercises for Alloy tool

Here some exercise in Alloy.

Retro-futuristic tank game. Pure JavaScript with ThreeJS. Open Source

A debugger for transition systems modelled in Alloy

The Alloy model of Audacity

Abstract model for OS Scheduler

An Alloy Analyzer modeling of the Bitcoin cryptocurrency transaction and blockchain. (WIP)

A simple, minimal, classless stylesheet for simple HTML pages

My Emacs config, as a self-documenting Org file.

Flask, SQLAlchemy, Materialize

Parses comments across various investing subreddits to track all mentions of stocks

Master programming by recreating your favorite technologies from scratch.

A framework that allows people to write their own Rocket League bots.

English translation of Jordan's Cours d'Analyse

📖 A collection of pure POSIX sh alternatives to external processes.