Stars
👻 Ghostty is a fast, feature-rich, and cross-platform terminal emulator that uses platform-native UI and GPU acceleration.
Haskell interactive serverside web framework inspired by HTMX, Elm, and Phoenix LiveView
Main source code repository of the Tamarin prover for security protocol verification.
Programming language for literate programming law specification
A package index for the Haskell ecosystem
Interactive documentation on zero-knowledge proof systems and related primitives.
Blazing fast, instant realtime GraphQL APIs on all your data with fine grained access control, also trigger webhooks on database events.
Haskell to VHDL/Verilog/SystemVerilog compiler
Easily create authenticated data structures
System for collecting, deriving and working with facts about source code.
SimpleX - the first messaging network operating without user identifiers of any kind - 100% private by design! iOS, Android and desktop apps 📱!
Official Haskell IDE support via the language server protocol (LSP)
🔥 The fastest way to build type safe web apps. IHP is a new batteries-included web framework optimized for longterm productivity and programmer happiness
Generator of runtime monitors for flight and robotics applications.
General-purpose programming language and toolchain for maintaining robust, optimal, and reusable software.
Compiler for the M language, used to compute the income tax of French taxpayers
⚙️ SimpleXMQ - A reference implementation of the SimpleX Messaging Protocol for simplex queues over public networks.
A purely functional programming language with first class types
A book-in-progress about the Linux kernel and its insides.
Demonstrate ability to read memfd_secret() data from the kernel
Official documentation for getting things done with Nix.
Flax Engine – multi-platform 3D game engine