455. Simplefp V2A re-do of the SimpleFP repo using de Bruijn index ABTs instead of HOAS
456. Nix DeployDeploy software or an entire NixOS system configuration to another NixOS system
458. XlsxSimple and incomplete Excel file parser/writer
462. Futhark💥💻💥 A data-parallel functional programming language
464. UnliftioThe MonadUnliftIO typeclass for unlifting monads to IO
465. HadronConstruct and run Hadoop MapReduce programs in Haskell
466. MinghcDEPRECATED: Windows installer for GHC including msys
467. LingLINear LaNGuage: Type Theory and Process Calculi for Distributed and High-precision programming
473. Ouroboros NetworkAn implementation of the Ouroboros family of consensus algorithms, with its networking support
474. ScarfAn experimental prototype of a package manager and packaging ecosystem. Currently being rebuilt.
484. JsnAn absolutely simple & terse CLI app to manipulate JSON data
485. Chainweb NodeChainweb: A Proof-of-Work Parallel-Chain Architecture for Massive Throughput
486. PolysemycleanarchitectureShowcasing how the Polysemy library can be used to implement a REST application conforming to the guidelines of the Clean Architecture model.
487. JsaddleJavaScript interface that works with GHCJS or GHC
492. Nix TreeInteractively browse the dependency graph of your Nix derivations.
493. LlvmHaskell bindings to the LLVM compiler infrastructure project.
494. StreamingAn optimized general monad transformer for streaming applications, with a simple prelude of functions
496. OczorOczor is a simple statically typed language that compiles to JavaScript, Lua, Ruby and Emacs Lisp
500. Void SpaceWell-Typed Typing Tutor where you Type Types... in space... yup, you heard me