Maciej Barć's repositories
src_prepare-overlay
almost official mirror of https://gitlab.com/src_prepare/src_prepare-overlay
Brick-Abode-postgres-lib-pldotnet
Build PostgreSQL functions, procedures, and triggers in C# and F#
CaptnCodr-fsharp-lib-Fli
Execute CLI commands from your F# code in F# style!
cartridges
A GTK4 + Libadwaita game launcher
cpp-NickvisionTagger
An easy-to-use music tag (metadata) editor
dafny
Dafny is a verification-aware programming language
eisl
ISLisp interpreter/compiler
emacs-gnuplot-mode
A major mode for Emacs for interacting with Gnuplot
emacs-haskell-mode
Emacs mode for Haskell
emacs-yasnippet-snippets
a collection of yasnippet snippets for many languages
fcambus-spleen
Monospaced bitmap fonts
flathub
Pull requests for new applications to be added
gentoo
[MIRROR] Official Gentoo ebuild repository
ghdl
VHDL 2008/93/87 simulator
lfe
Lisp Flavoured Erlang (LFE)
luau
A fast, small, safe, gradually typed embeddable scripting language derived from Lua
netcoredbg
NetCoreDbg is a managed code debugger with MI interface for CoreCLR.
opensmt
The opensmt solver
PowerShell-Docs
The official PowerShell documentation sources
powershell-z
Save time typing out directory paths in PowerShell by jumping around instead.
ppsspp
A PSP emulator for Android, Windows, Mac and Linux, written in C++. Want to contribute? Join us on Discord at https://discord.gg/5NJB6dD or just send pull requests / issues. For discussion use the forums at forums.ppsspp.org.
scheme-counter
Small counter library to use for console output, logging, etc.
stp-minisat
A minimalistic and high-performance SAT solver
system-monitoring-center
Multi-featured system monitor
typed-racket
Typed Racket
ytmdl
A simple app to get songs from YouTube in mp3 format with artist name, album name etc from sources like iTunes, Spotify, LastFM, Deezer, Gaana etc.