A language with dependent data and codata types

GPN22 kitctf writeups of the #1 best ctf team ever created (17/688)

TerminalTextEffects (TTE) is a terminal visual effects engine, application, and Python library.

⭐️ A friendly language for building type-safe, scalable systems!

A modern Anki custom scheduling based on Free Spaced Repetition Scheduler algorithm

Empowering everyone to build reliable and efficient software.

FeuerFest

🐦 *cheep cheep shriek caw*

The HTML Presentation Framework

👾 A place where Datastructures and Algorithms find their place to exist

Overwrite `assert_eq!` with a drop-in replacement, adding a colorful diff.

Minimalist ML framework for Rust

Serialization framework for Rust

Free monospaced font with programming ligatures

Spoken word recognition using CTC LSTMs for SWR2 Tübingen

🚀 The blazing fast build tool for Rust.

Android game for remembering number sequences

Fullstack app framework for web, desktop, and mobile.

Cross-platform and non-web GUI library for 🦀 Rust powered by 🎨 Skia.

A multi-threaded, GPU-powered, 2D vector graphics environment for Node.js

💤 Efficient sleepsort in assembly with similar* performance to quicksort

This program monitors a plant waterlevel with a moisture sensors and notifies the user when it wants to be watered. A project inspired by achnina's talking plant.

💻 Small operating system written from scratch (covid/school project)

✨ File format and optimizer for programs encoded in binary lambda calculus

Kotlin Multiplatform bindings to Skia

jabo fishing boat controller replacement

The Modular Platform (includes MAX & Mojo)

A language with lexical effect handlers and lightweight effect polymorphism