fortran-src
fortran-src: Fortran static analysis infrastructure - Published in JOSS (2025)
GNOLL
GNOLL: Efficient Multi-Lingual Software for Real-World Dice Notation and Extensions - Published in JOSS (2023)
helayo
helayo: Reconstructing Sanskrit texts from manuscript witnesses - Published in JOSS (2022)
computational-algebra
General-Purpose Computer Algebra System as an EDSL in Haskell
haskell-language-server
Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.
rzk
An experimental proof assistant based on a type theory for synthetic ∞-categories.
https://github.com/camfort/fortran-src-extras
Various utility functions and orphan instances which may be useful when using fortran-src.
https://github.com/axect/fp-lecture
2018 Functional Programming Lecture in Yonsei Univ
https://github.com/augustunderground/prehsept
Modeling the behaviour of primitive devices with Hasktorch.
https://github.com/augustunderground/ganarchist
Gallium Nitrid Half Bridge Switching Loss Prediction
route-calculator
A program that calculates the geographic properties of a node composed by two satellite points.
https://github.com/augustunderground/plotly-hs
Generate Plotly Plots from Haskell for viewing in Browser. No bindings.
https://github.com/camfort/camfort
Light-weight verification and transformation tools for Fortran
https://github.com/augustunderground/edelwace
Reinforcement Learning Agents for Analog Circuit Sizing in Haskell.
https://github.com/augustunderground/mlflow-hs
Log to MLFlow Tracking server from Haskell
https://github.com/augustunderground/vegaview
WebKit based viewer for hvega plots
https://github.com/augustunderground/hspectre
Haskell module for interacting with Cadence Spectre
https://github.com/co-log/co-log-core
🌽 Core types and functions that power the Haskell `co-log` implementation