Generate Easy, Medium and Hard charts from Expert. Supports Guitar & Drums.

Physically based path tracer made in Vulkan.

A tool to convert a Wallpaper's color scheme / palette, image to pixel art, color palette extraction, image upsacling with Adversarial Networks and more image processing features

SIGPLAN website

INFO 3350/6350, Fall 2024

Import your Spotify playlists into Apple Music for free

Dynamic Island on iPhone 14 Pro implementation on Mac using Sketchybar

A tiling window manager for macOS based on binary space partitioning

Visual Studio Code extension for Coq

yet another typing test, but crab flavoured

Spotify for the terminal written in Go

This is a community project. We write and collect scripts for polybar!

A Discord and SpaceBar -based client implemented without Discord API.

HarmonyLang provides general VS compatibility with RvR's Harmony, a Python-like programming language for testing and experimenting with concurrent programs.

A Python-like programming language for testing and experimenting with concurrent programs.

Implementation of Nuprl's type theory in Coq

Envision a future where every student can read all the code of a teaching operating system.

A static verifer for Ethereum Smart Contracts written in Vyper

A music programming language for musicians. 🎶

generating hardware accelerators for pangenomic graph queries

A fast, small, safe, gradually typed embeddable scripting language derived from Lua

⚡A CLI tool for code structural search, lint and rewriting. Written in Rust

We the People of the United States, in Order to form a more perfect Union, establish Justice, insure domestic Tranquility, provide for the common defence, promote the general Welfare, and secure th…

Gradual Verification for Teal

Jargon from the functional programming world in simple terms!

Research on the relationship between mined specifications and repository versions.