510. Hopper V0a sound modern language for computation and transactional resource logic
511. BoundCombinators for manipulating locally-nameless generalized de Bruijn terms
512. LuminanceType-safe, type-level and stateless Haskell graphics framework
513. KulittaA Haskell-based library for algorithmic and automated composition. This library was the subject of my dissertation at Yale university and is the subject of my ongoing work.
514. Rust ExpSoftware rasterization, N-Body simulation and Game of Life in Rust + Haskell
515. EveAn extensible event-driven application framework in haskell
518. ErdTranslates a plain text description of a relational database schema to a graphical entity-relationship diagram.
520. HasktagsProduces ctags "tags" and etags "TAGS" files for Haskell programs
524. YiThe Haskell-Scriptable Editor
528. MagicHaskell implementation of Magic: The Gathering
530. TangaroaA toy implementation of the Raft protocol in Haskell, with an experimental BFT variant.
531. Crisp CompilerA compiler for Crisp (Lisp/Scheme-inspired language) in Haskell, with an LLVM backend
533. IcepeakIcepeak is a fast JSON document store with push notification support.
537. Parsec.elA parser combinator library for Emacs Lisp, similar to Haskell's Parsec library.
538. EffectsA brief exploration of the various approaches to modeling side effects in a purely functional programming language.
540. RoshaskHaskell client library for the ROS robotics framework.
541. AwelonAwelon project is a new UI model with a new language.
549. Tensor SafeA Haskell framework to define valid deep learning models and export them to other frameworks like TensorFlow JS or Keras.
550. ReflectionReifies arbitrary Haskell terms into types that can be reflected back into terms