Simple project environment for creating custom Keycloak extensions

The Proxmox Hypervisor, on NixOS [maintainers=@camillemndn @julienmalka]

Everything about note management. All in Zotero.

Typed Postgresql integration for Scala. Hopes to avoid typos

A data access library for Scala + Postgres.

8 Lessons, Kick-start Your Cybersecurity Learning.

Create beautiful diagrams just by typing notation in plain text.

lightweight connection pooler for PostgreSQL

Typecheck, template and modularize your Kubernetes definitions with Dhall

List of papers studying machine learning through the lens of category theory

A purely functional programming language with first class types

Code Reviews in Emacs

Programs and libs that I haven't gotten around to formally packaging

The list of awesome programming languages that you might be interested in.

📚 A curated list of papers for Software Engineers

citar/org-roam integration

Write expressive, high-performance parsers with ease.

App source + Nix packages + Docker = Image

CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.

Seamless integration of https://pre-commit.com git hooks with Nix.

Functional, expression-oriented data processing language

An easy to use, cross platform, GUI library for writing Haskell applications.

A massively parallel, optimal functional runtime in Rust

Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source

A collection of tools for writing technical documents that mix Coq code and prose.

VSCode extension for Haskell

Nix backend for PureScript. Transpile PureScript code to Nix.

One env setup guide to rule them all.

The collected works of F. W. Lawvere