-
curry-language-server Public
IDE support for the functional logic programming language Curry
-
curry-verify-non-fail Public
Forked from curry-packages/verify-non-failA tool to verify Curry operations as non-failing
Curry BSD 3-Clause "New" or "Revised" License UpdatedOct 21, 2025 -
curry-contract-prover Public
Forked from curry-packages/contract-proverCurry BSD 3-Clause "New" or "Revised" License UpdatedOct 21, 2025 -
tree-sitter-kotlin Public
Kotlin grammar for Tree-sitter
-
vscode-curry Public
Curry IDE for Visual Studio Code
-
docker-archlinux Public
Unofficial multi-platform Docker images of Arch Linux and its ports (x86_64, aarch64, armv7h, riscv64, powerpc64le)
-
m1xxx Public
Unofficial native Mixxx builds for macOS (Apple Silicon/Intel) and Linux
-
kotlin-language-server Public
Kotlin code completion, diagnostics and more for any editor/IDE using the Language Server Protocol
-
captivate Public
Forked from spensbot/captivateCaptivate Lighting & Visual Synth
TypeScript MIT License UpdatedMay 12, 2025 -
mee7 Public
Forked from jnccd/discord-botA botty boi written in .NET core with tons of commands and edit pipe functions
C# UpdatedApr 30, 2025 -
mixxx Public
Forked from mixxxdj/mixxxMixxx is Free DJ software that gives you everything you need to perform live mixes.
-
sineweaver Public
Modular synthesizer featuring a tutorial and an Audio Unit instrument wrapper (WWDC 2025 winner)
-
-
lidoom Public
DOOM port for Project Lighthouse
-
litris Public
A Tetris-inspired game for a light installation at the University of Kiel
Rust MIT License UpdatedMar 24, 2025 -
-
-
worldwideweb-cocoa Public
Port of Tim Berners-Lee's original WorldWideWeb browser to modern macOS (Cocoa/AppKit)
-
miracle Public
Generic pub/sub resource server for Project Lighthouse models
-
doomgeneric-rs Public
Forked from LinusCDE/doomgeneric-rsUsing doomgeneric from rust
Rust GNU General Public License v2.0 UpdatedMar 6, 2025 -
d2 Public
Command-based virtual assistant for Discord and other platforms
-
homebrew-cask Public
Forked from Homebrew/homebrew-cask🍻 A CLI workflow for the administration of macOS applications distributed as binaries
Ruby BSD 2-Clause "Simplified" License UpdatedFeb 21, 2025 -
vcpkg Public
Forked from microsoft/vcpkgC++ Library Manager for Windows, Linux, and MacOS
CMake MIT License UpdatedFeb 19, 2025 -
swift-utils Public
General-purpose utility library for Swift
-
swift-gif Public
Cross-platform GIF encoder and decoder for Swift
-
curry-mtl Public
Monad classes for transformers in Curry
Curry BSD 3-Clause "New" or "Revised" License UpdatedFeb 10, 2025 -
vexillolinguist Public
Flag-directed, language-aware Git repo initialization tool
Python MIT License UpdatedFeb 3, 2025 -
archlinuxarm-images Public archive
Unofficial, automated Arch Linux ARM image builds, e.g. for Raspberry Pis
-
node-link Public
Forked from spensbot/node-linkA NodeJS Javascript Wrapper for Ableton Link
C++ UpdatedJan 25, 2025 -
{{ message }}