Lists (20)
Ada
Ada is a structured, statically typed, imperative, and object-oriented high-level programming language, inspired by Pascal and other languages.7 repositories
Agda
Agda is a dependently typed functional programming language and proof assistant.1 repository
C
The C programming language.63 repositories
Csound
One of the best known and longest established programs in the field of audio programming.2 repositories
Dafny
Dafny is a verification-aware programming language that has native support for recording specifications and is equipped with a static program verifier.1 repository
Emacs
An extensible, customizable, free/libre text editor — and more.22 repositories
F*
F* (pronounced F star) is a general-purpose proof-oriented programming language, supporting both purely functional and effectful programming.2 repositories
Git
A distributed version control system.10 repositories
Go
An open-source programming language supported by Google.19 repositories
Godot
Free and open-source cross-platform game engine for making 2D and 3D games.5 repositories
Hare
Hare is a systems programming language designed to be simple, stable, and robust.1 repository
Haskell
An advanced, purely functional programming language.16 repositories
HOL
A family of interactive theorem proving systems using similar higher-order logics.1 repository
Lean
A functional programming language and interactive theorem prover.205 repositories
Metamath
A computer language for mathematical proofs.19 repositories
Neovim
Vim-fork focused on extensibility and usability.2 repositories
OCaml
OCaml is a general-purpose, industrial-strength programming language with an emphasis on expressiveness and safety.9 repositories
RISC-V
RISC-V is an open standard Instruction Set Architecture (ISA) enabling a new era of processor innovation through open collaboration.3 repositories
Rocq (Coq)
A formal proof management system.42 repositories
Rust
A language empowering everyone to build reliable and efficient software.66 repositories
Starred repositories
Install and manage GE-Proton, Luxtorpeda & more for Steam and Wine-GE & more for Lutris with this graphical user interface.
Noise supression using deep filtering
Rust bindings for the webrtc-audio-processing library
C library for audio noise reduction and other spectral effects
Lv2 suite of plugins for broadband noise reduction
This contains all the Airwindows audio open source code
MDA plugins in VST 2.4 format, adapted to use CMake and targeted at Linux systems
A modern and transparent way to use Windows VST2, VST3 and CLAP plugins on Linux
Opensource firmware for NRF52840 Pro Micro that copycats the Steam Controller 2 Puck and adds an Xbox and Switch mode
CachyOS / proton-cachyos
Forked from ValveSoftware/ProtonCompatibility tool for Steam Play based on Wine and additional components
Etaash-mathamsetty / Proton
Forked from ValveSoftware/ProtonProton-EM is a Development Oriented Compatibility tool for Steam Play based on Wine and additional components
Read-only mirror of https://gitlab.gnome.org/GNOME/libgxdp
Read-only mirror of https://gitlab.gnome.org/GNOME/xdg-desktop-portal-gnome
Gtk implementation of xdg-desktop-portal
Artwork, styles and assets for the Breeze visual style for the Plasma Desktop
High-level C++ D-Bus library for Linux designed to provide easy-to-use yet powerful API in modern C++
Sunshine fork - The easiest way to stream with the native resolution of your client device
Optimise Linux system performance on demand
A wrapper that does winetricks things for Proton enabled games, requires Winetricks.
Vulkan header files and API registry
A Vulkan and OpenGL overlay for monitoring FPS, temperatures, CPU/GPU load and more.