351. SkylightingA Haskell syntax highlighting library with tokenizers derived from KDE syntax highlighting descriptions
352. Regex GenexGiven a list of regexes, generate all possible strings that matches all of them.
356. ZephyrTree shaking breeze for PureScript CoreFn AST
358. SmudgeA domain-specific language for state machines.
359. HydraHydra is a full-fledged framework for building web services, multithreaded and concurrent applications with SQL and KV DB support. It's currently moving to the production-ready state
360. KeiA small and expressive dependently typed language
361. SbvSMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.
365. MafiaProvides protection against cabal swindling, robbing, injuring or sabotaging people with chopsticks.
366. GraphmodA utility for displaying the module dependencies of Haskell programs.
369. ZoomhubShare and view high-resolution images effortlessly
374. Repa High performance, regular, shape polymorphic parallel arrays.
378. BotworldA cellular automaton for studying self-modifying agents which are embedded in their environment
382. Lambda Lantern🧙 A 3D game about functional programming patterns. Uses PureScript Native, C++, and Panda3D.
384. HfmtFormat Haskell programs. Inspired by the gofmt utility.
386. Learn PhysicsA library of functions for vector calculus, calculation of electric field, electric flux, magnetic field, and other quantities in mechanics and electromagnetic theory.
389. Unfog⏱ Minimalist CLI task & time manager, written in Haskell.
391. Safe MoneyHaskell library for type-safe and lossless encoding and manipulation of world currencies and precious metals
393. Ide Backendide-backend drives the GHC API to build, query, and run your code
394. KontikiAn implementation of the Raft consensus protocol
397. NeksA dead simple networked key/value store
398. Idris PyPython backend for Idris (generates Python source, not bytecode).
399. Nirum Nirum: IDL compiler and RPC/distributed object framework for microservices