Sécurix is a NixOS-based secure operating system tailored for small to medium-sized teams. It provides a minimal, hardened environment with strong isolation, reproducibility, and policy-driven conf…

What I Wish I Knew When Learning Haskell

Thomas BAGREL PhD manuscript on _Formalization and Implementation of Safe Destination Passing in Pure Functional Programming Settings_

A fast, safe, and intuitive DataFrame library.

Interactively browse dependency graphs of Nix derivations.

A special-purpose processor for pure, non-strict functional languages

Yet another test framework for Haskell.

Terminal logs observer

Generating type families for field selectors via TemplateHaskell

Where Lions Roam: RISC-V on the VELDT

Algebraic data types for C99

TextMate is a graphical text editor for macOS 10.12 or later

Course for learning how to apply property-based state-machine testing

High performance, streaming and concurrent functional programming abstractions

lowlevel set of cryptographic primitives for haskell

A terminal client for Up Bank written in Haskell ⚡.

More scroll, less hassle

A simple library for reporting compiler/interpreter errors

📜 Haskell course info, plan, video lectures, slides

A stream-based runtime-verification framework for generating hard real-time C code.

Binding to HDF5 library

🔥 The fastest way to build type safe web apps. IHP is a new batteries-included web framework optimized for longterm productivity and programmer happiness

Fancy reverse and bind shell handler

Haskell library for space- and time-efficient operations over Unicode text.

😺 Running Hashcat on Google Colab with session backup and restore.

Demos from my old blog, collected, changed and moved to the new one when active.