Stars
Pipe your nix-build output through the nix-output-monitor a.k.a nom to get additional information while building.
Agda is a dependently typed programming language / interactive theorem prover.
#1 Locally hosted web application that allows you to perform various operations on PDF files
Reddit Clone written in Haskell and Postgres
Haskell library for the Microsoft Language Server Protocol
A Simple Model Of A Computer
Purely functional web and distributed programming with Reflex FRP
Functional Reactive Programming domain-specific language for efficient hybrid systems
Large World Model -- Modeling Text and Video with Millions Context
π Awesome lists about all kinds of interesting topics
π Haskell course info, plan, video lectures, slides
Call Haskell functions from any programming language via serialization and dynamic libraries
Aeson instances for ByteString, using base 64 encoding
Git with a cup of tea! Painless self-hosted all-in-one software development service, including Git hosting, code review, team collaboration, package registry and CI/CD
Comma runs software without installing it. [maintainers=@Artturin,@burke,@DavHau]
Robust Speech Recognition via Large-Scale Weak Supervision
Interactively browse dependency graphs of Nix derivations.