weltoph's Stars
AndreasArvidsson/andreas-talon
User scripts for Talon Voice
talonhub/community
Voice command set for Talon, community-supported.
talonvoice/talon
Issue Tracker for the main Talon app
rgerganov/footswitch
Command-line utility for PCsensor and Scythe foot switches
AdaCore/ada_language_server
Server implementing the Microsoft Language Protocol for Ada and SPARK
alpha-asp/Alpha
A lazy-grounding Answer-Set Programming system
annexi-strayline/Curses
Advanced UNIX Terminal UI Ada Binding Package
rust-lang/rustlings
:crab: Small exercises to get you used to reading and writing Rust code!
coleifer/peewee
a small, expressive orm -- supports postgresql, mysql, sqlite and cockroachdb
tfiedor/gaston
Novel decision procedure for WS1S logic
OpenDiablo2/OpenDiablo2
An open source re-implementation of Diablo 2
yet-another-static-site-generator/yass
Yet Another Static Site (Generator)
thindil/hunter
Mirror of Graphical File Manager for Linux
hendricius/the-bread-code
Learn how to master the art of baking the programmer way.
andmarti1424/sc-im
sc-im - Spreadsheet Calculator Improvised -- An ncurses spreadsheet program for terminal
unknown-horizons/unknown-horizons
Unknown Horizons official code repository
koalaman/shellcheck
ShellCheck, a static analysis tool for shell scripts
zeta0134/LuaGB
A gameboy emulator written in pure Lua. Work in progress.
zonradkuse/AdaLesson
Ada 2015
anishathalye/dotbot
A tool that bootstraps your dotfiles ⚡️
neovim/neovim
Vim-fork focused on extensibility and usability
mgumz/vopher
vopher - acquire vim-plugins … fast.
mupen64plus/mupen64plus-input-sdl
Input plugin for Mupen64Plus v2.0 project using SDL. This is derived from the original Mupen64 blight_input plugin.