GitHub Copilot CLI brings the power of Copilot coding agent directly to your terminal.

The official GitHub mirror of the Chromium source

Native Haskell gRPC client and server based on `http2`

‼️ No waybar here ‼️

A very segsy rice

Just a Website with a Button

Free LDAP and OAuth2 Authentication and Authorisation for Sharelatex / Overleaf (Community Edition)

A club for reading cool papers

WIP applets for cosmic-panel

literature snowballing

unclutter your .profile

An open-source AI agent that brings the power of Gemini directly into your terminal.

Collection of Random Stuff

Ada major mode using tree-sitter for Emacs

Ada-bindings for 0mq

🌊 Online machine learning in Python

A Glorified WM-Independent Dropdown Creator

The user-friendly command line shell.

The best free and open-source automated time tracker. Cross-platform, extensible, privacy-focused.

The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environmen…

[READ ONLY] Subtree split of the Illuminate Database component (see laravel/framework)

Promises/A+ library for PHP with synchronous support

Who has the biggest dick ever? A game bot for Telegram

A smithy for rusty wayland compositors

Vulkan, OptiX and CUDA Interoperation Modular Rendering Library and Framework for PC/Linux/Android

Minimalistic compiler for Java-like programming language

Living Neural implements the simplest form of a neural automata and renders the output using OpenGL.

Source code for Neural Patterns