Stars
A collection of formalized statements of conjectures in Lean.
Commented LaTeX templates for CVs, homework, lecture notes, presentations, research papers, and essays, with commands for math/statistics symbols
A C++ library for debugging purposes that can print any variable, even user-defined types.
Python tool for converting files and office documents to Markdown.
A simple grass environment made with Three.js (inspired by simondevyoutube's Quick_Grass)
Browser extension which parses competitive programming problems
A programming language and model of computation that matches the optimal λ-calculus reduction algorithm perfectly.
A massively parallel, optimal functional runtime in Rust
💭👀precognition.nvim - Precognition uses virtual text and gutter signs to show available motions.
KTH Algorithm Competition Template Library (... eller KTHs AC-tillverkande lapp)
A massively parallel, high-level programming language
2026 SWE internship & new graduate job list updated daily
Curated list of internships/externships/fellowships exclusive for CS freshman and sophomore (updated for 2026!)
Original reference implementation of "3D Gaussian Splatting for Real-Time Radiance Field Rendering"
Official implementation for the paper: "Code Generation with AlphaCodium: From Prompt Engineering to Flow Engineering""
🎧 Open source music streaming app! Available for both desktop & mobile!
Neovim helper for competitive programming. Use https://sr.ht/~p00f/cphelper.nvim instead
An experimental fork of Discord.Net that implements the newest discord features for testing and development to eventually get merged into Discord.Net
Kobra is a visual programming language (like Scratch) for Machine Learning