Stars
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…
EstNLTK regex subsystems rewritten in Rust using resharp DFA regex engine
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
Fast and space-efficient conversion from the LZ77 parsing to a grammar
Suite of universal indexes for Highly Repetitive Document Collections
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 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.
Dataset of Linus Torvalds' rants classified by negativity using sentiment analysis
Simple, explicit JSON parsing for F# using System.Text.Json.