Maciej Barć's Projects
A collection of tools for writing technical documents that mix Coq code and prose.
Alien-Cyan modified
A utility package to collect various Icon Fonts and propertize them within Emacs.
Community-managed fork of the Arc dialect of Lisp; for commit privileges submit a pull request.
[MIRROR] Seed data for api.gentoo.org
Curated list of awesome Mastodon-related stuff!
almost official mirror of https://gitlab.com/src_prepare/badge
Build PostgreSQL functions, procedures, and triggers in C# and F#
Execute CLI commands from your F# code in F# style!
A GTK4 + Libadwaita game launcher
userChrome.css and userContent.css for Firefox (mirror)
almost official mirror of https://gitlab.com/src_prepare/racket/collector2
collection of conky config files for app-admin/conky-1.10
a code coverage tool for racket
🌵 A wrapper for package managers to make them consistent for those of us who are lazy.
An easy-to-use music tag (metadata) editor
An advanced SAT solver
A personal finance manager
Dafny is a verification-aware programming language
Roll some dice (mirror)
Use any linux distribution inside your terminal. Enable both backward and forward compatibility with software and freedom to use whatever distribution you’re more comfortable with. Mirror available at: https://gitlab.com/89luca89/distrobox
A simple downloader written in Python with an awesome customizable progressbar.
ISLisp interpreter/compiler
Embedded drawing tool for Emacs
A major mode for Emacs for interacting with Gnuplot
Emacs mode for Haskell
a collection of yasnippet snippets for many languages
almost official https://gitlab.com/src_prepare/euscan-ng (src_prepare mirror)