Stars
A framework for program analysis with a focus on modeling programmer assumptions, context- and path-sensitive analyses, and type checking.
a revival of the music-synthesizer-for-android project
A fourk of ormolu that uses four space indentation and allows arbitrary configuration. Don't like it? PRs welcome!
This is a fork of https://github.com/tweag/ormolu.
A Python backend for PureScript.
Loader and RTS for purescript-python
SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.
High performance, concurrent functional programming abstractions
DEPRECATED in favor of ghc wasm backend, see https://www.tweag.io/blog/2022-11-22-wasm-backend-merged-in-ghc
A bitvector datatype that is parameterized by the vector width.
pretty-printer for Haskell data types that have a Show instance
c2hs is a pre-processor for Haskell FFI bindings to C libraries
CthulhuDen / stack
Forked from commercialhaskell/stackThe Haskell Tool Stack
Integration for the ohua core library with the java platform
Some simple bash scripts to make hotswap eGPU work on Linux without restarting
Hedwig is a fast, type safe, declarative PureScript library for building web applications.
Refactorio is a tool with which you build and maintain software.
Concur UI Framework for Purescript
[ABANDONED] An attempt to port the concur library to PureScript.
An implementation of "Freer Monads, More Extensible Effects".