Maciej Barć's repositories
alectryon
A collection of tools for writing technical documents that mix Coq code and prose.
all-the-icons.el
A utility package to collect various Icon Fonts and propertize them within Emacs.
api-gentoo-org
[MIRROR] Seed data for api.gentoo.org
cover
a code coverage tool for racket
cpm
🌵 A wrapper for package managers to make them consistent for those of us who are lazy.
cryptominisat
An advanced SAT solver
fm.awk
File manager written in awk
Idris2
A purely functional programming language with first class types
Js2Py
JavaScript to Python Translator & JavaScript interpreter written in 100% pure Python🚀 Try it online:
libansilove
Library for converting ANSI, ASCII, and other formats to PNG
lure
lang lua for racket
mescc-tools
Bootstrapping tools for Janneke's MES
MrEd-Designer
Easily design Racket GUI applications
org-static-blog
A static site generator using org-mode
projectile
Project Interaction Library for Emacs
racket
The Racket repository
racket-fmt
A code formatter for Racket
racket-libmpdclient
Racket bindings for libmpdclient
racket-mode
Emacs major and minor modes for Racket: edit, REPL, check-syntax, debug, profile, and more.
rbulkresizer
Graphical bulk picture resize tool written in Racket (mirror)
soko
[MIRROR] packages.gentoo.org (PROD)
src_prepare.gitlab.io
almost official https://gitlab.com/src_prepare/src_prepare.gitlab.io (src_prepare mirror)
sxml-extra-utils
A module with misc utilities to use with the sxml package
xgqt.github.io
Redirect to https://xgqt.gitlab.io
xmake-package-gentoo
Gentoo package scripts of Xmake