CS student interested in music, compilers and functional programming. Likes Swift, Rust, Kotlin, Haskell, TypeScript and other languages.
Kotlin code completion, diagnostics and more for any editor/IDE using the Language Server Protocol
Kotlin - Released: 28 May 2018 - 1,638
Mixxx is Free DJ software that gives you everything you need to perform live mixes.
C++ - Released: 17 May 2013 - 4,092
Kotlin code completion, debugging, linting and more for VSCode
TypeScript - Released: 12 Aug 2019 - 284
Declarative cross-platform UI framework for Rust that uses native controls
Rust - Released: 19 Mar 2023 - 31
Command-based virtual assistant for Discord and other platforms
Swift - Released: 14 Mar 2019 - 16
Distributed peer-to-peer messaging app using Bluetooth LE mesh networks
Swift - Released: 17 Jan 2021 - 70
IDE support for the functional logic language Curry
Haskell - Released: 30 Jan 2020 - 26
Kotlin/JVM debugging for any editor/IDE using the Debug Adapter Protocol
Kotlin - Released: 15 Aug 2018 - 112
Compiler for the (rather new and very experimental) Y programming language.
Rust - Released: 16 Jan 2023 - 12
Music library server with support for playlists, crates and a web/mobile frontend
TypeScript - Released: 10 Feb 2022 - 10
DNS-SD (Bonjour/Zeroconf/Avahi) implementation of the Swift Service Discovery API
Swift - Released: 11 Aug 2023 - 28
Language server prototype using the new Kotlin analysis API
Kotlin - Released: 05 Jul 2022 - 27
GitHub Action for generating Swift documentation using DocC
TypeScript - Released: 16 Mar 2022 - 17
Open-world sandbox game for macOS and iOS (WWDC 2022 submission)
Swift - Released: 05 Jan 2022 - 5
Experimental language server for Kotlin, written from scratch using Tree-sitter
Rust - Released: 21 May 2024 - 13
Unofficial native Mixxx builds for macOS (Apple Silicon/Intel) and Linux
Python - Released: 27 May 2022 - 31
Unofficial, automated Arch Linux ARM image builds, e.g. for Raspberry Pis
Shell - Released: 27 Apr 2022 - 10
CLI tool for generating app icons for macOS, iOS, watchOS and tvOS
Python - Released: 30 Mar 2022 - 5