Lists (4)
Stars
A List of Foundational Haskell Papers
Record "perf" performance metrics for individual functions/regions of an ELF binary.
A LR-style parser generator for extended context free grammars.
Next Generation Visual Programming System
A Nix builder function for packaging Gradle applications.
A simple GTK based notification daemon for any Wayland compositor
Turnstyle is a graphical esoteric programming language based on lambda calculus
Probabilistic language based on pattern matching and constraint propagation, 153 examples
Password Safe - popular secure and convenient password manager
GitHub Actions Pipeline Enumeration and Attack Tool
Combine the power of nix-eval-jobs with nix-output-monitor to speed-up your evaluation and building process.
Reasoning Computers. Lambda Calculus, Fully Differentiable. Also Neural Stacks, Queues, Arrays, Lists, Trees, and Latches.
A `flake-parts` module for finding your way to the project root directory
Library for working with OpenID Connect and implementing clients.
Postgres.js - The Fastest full featured PostgreSQL client for Node.js, Deno, Bun and CloudFlare
Postgres extension and service for automated failover and high-availability
PostgreSQL pooler with sharding, load balancing and failover support.
Fast, Declarative, Reproducible, and Composable Developer Environments using Nix