Easy Application Sandboxing on NixOS

XParsec is a parser combinator library for F#

🐉 Making Rust a first-class language and ecosystem for GPU shaders 🚧

A markdown terminal slideshow tool

SécurixOS 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 co…

EstNLTK regex subsystems rewritten in Rust using resharp DFA regex engine

♥ Janusz Brzozowski

Command-line utility for multipattern search using liblightgrep

A silly emotional rant about the state of devops tooling/the infrastructure sector in 2018. #noyaml.com

Information about Linux system calls on different architectures

A compiler that brings F#'s elegance and precision to systems programming through MLIR and various backends

Toolkit for grammars

BNF wrangling and railroad diagrams

The MLton repository

Graph Coloring Implemetation in OCaml

Fastest Known Solutions to Advent of Code 2024

Fast and space-efficient conversion from the LZ77 parsing to a grammar

Suite of universal indexes for Highly Repetitive Document Collections

One-stop script set to build Ubuntu/Debian images

MONA - a decision procedure for monadic second-order logic on finite strings and trees

A better REPL for F# with project/solution support and hot reloading.

A tool for finding configuration anomalies.

A Rust compiler front-end for IDEs

Language development libraries for Rust

A binary JSON serialization format based on JSON Schema 2020-12 with a strong focus on space-efficiency

See https://benchmark.sourcemeta.com for the latest version of this benchmark

Grammars written for ANTLR v4; expectation that the grammars are free of actions.

A Brotli implementation in pure and safe Rust

Your proofreading assistant