Haskell API search engine

A Rust language and style specification for the LaTeX-package listings

Library for generating QrCodes with payment details according to standart of Czech Bank Association.

An IRC analysis server.

Weighs the soul of incoming HTTP requests to stop AI crawlers

An experiment of formatting .cabal files

Minimalist dependancy free Masonry layout library

Raw Haskell bindings to Vulkan API

A rather calamitous endeavor upon the Vulkan specification, fashioned into an Installable Client Driver (ICD) for my own learning… and a touch of personal amusement.           Mirror of https://git…

A collection of awesome things regarding the gemini protocol ecosystem.

PocketDNS: Multi-backend (zookeeper and sqlite) DNS Server using persistent-library

A simple cross platform template for windows, linux, and MacOS

Vlak.com

Document viewer

HDT C++ Library and Tools

A statically typed embedding of miniKanren in Haskell

A tool for importing address points of the State Surveying and Cadastre Administration into SQL database

Mocking environment for testing Arduino code. The sole objective of this project is to provide testing platform that could be used in ReCodEx for Arduino student assignments.

Admiran is a pure, lazy, functional language and self-hosting compiler based upon Miranda

Saira typeface is part of the new Omnibus-Type Press Series

⚛️ Fast 3kB React alternative with the same modern API. Components & Virtual DOM.

PRG • PRG web page with a list of events, courses and network members.

Concurrency for the streaming ecosystem

REST API for any Postgres database

A benchmark for random memory accesses

Specification, reference implementations and test battery for Hintful diff format.