Skip to content
View timfi's full-sized avatar
⌨️
⌨️

Block or report timfi

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Content in all repositories owned by your account will be closed.
Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Starred repositories

Showing results

A purely SQL-based reimplementation of the original 1993 DOOM running on CedarDB

Python 12 1 Updated Sep 22, 2026

Glossary management for Typst documents

Typst 20 9 Updated Jul 1, 2026
Python 555 17 Updated Sep 24, 2026

A list of awesome resources for zellij

Python 1,251 72 Updated Aug 25, 2026

Unlocking _everything_ on the CPU with DRAM scrambling

C 2,060 163 Updated Aug 13, 2026

The authentication glue you need.

Python 25,712 2,043 Updated Sep 25, 2026

A Typst package for various enhancements for mathematical expressions.

Typst 48 6 Updated Aug 5, 2026

Write markdown-like checklist easily.

Typst 91 5 Updated Jun 23, 2026

A fast, standalone terminal music player in Rust: native Spotify streaming plus local, Subsonic, radio, Qobuz and Youtube sources

Rust 1,382 237 Updated Sep 24, 2026

Flyline: a Bash plugin to replace readline for a modern line editing experience: syntax highlighting, agent integration, rich prompts, tooltips, fuzzy history search, and more!

Rust 1,299 37 Updated Sep 21, 2026

MacOS launcher & command palette

TypeScript 3,143 181 Updated Sep 20, 2026

A community trust management system based on explicit vouches to participate.

Nushell 5,115 92 Updated Aug 23, 2026

A diff tool for Typst documents, similar to latexdiff for LaTeX

Rust 73 7 Updated Aug 20, 2026

The DuckDB Python package

Python 188 113 Updated Sep 24, 2026

Wayland Compositor in Minecraft

Java 2,906 65 Updated Sep 24, 2026

A GPU-rendered terminal emulator with inline 3D graphics πŸ€πŸ§€

Rust 3,249 91 Updated Sep 22, 2026

A to-SQL Compiler Prototype.

Python 2 1 Updated Sep 25, 2026

竜 TatSu generates Python parsers from grammars in a variation of EBNF

Python 448 57 Updated Jul 10, 2026

Datatype is a variable font that turns text into charts.

Python 1,456 16 Updated May 2, 2026

An in-process reimplementation of PostgreSQL, backed by a SQLite-compatible storage engine

Rust 1,204 27 Updated Aug 8, 2026

SQL Syntax Highlighting for DuckDB

5 Updated Apr 1, 2026

Parse equations with Typst and manipulate or evaluate them.

Typst 14 Updated Jun 5, 2026

An experiment in durability

Python 2,442 115 Updated Aug 10, 2026

A terminal workspace with batteries included

Rust 35,532 1,461 Updated Sep 24, 2026

Dissecting the Duck's Innards β€” A DuckDB-based course on the Design and Implementation of Database System Internals

C 379 15 Updated Apr 7, 2026

Tabular Database Systems β€” A DuckDB-based course on the fundamentals of relational DBMSs and SQL

Python 177 13 Updated Apr 7, 2026

Idempotent schema management for MySQL, PostgreSQL, SQLite, and SQL Server

Go 3,169 245 Updated Sep 25, 2026

Godot Engine – Multi-platform 2D and 3D game engine

C++ 117,729 26,848 Updated Sep 24, 2026

Marginnotes for typst with smart positioning

Typst 106 7 Updated Dec 4, 2025
Next