aaronallen8455's Stars
mkloczko/derive-storable-plugin
dmjio/typed-interpolation
Type-level interpolations in various forms
brandonchinn178/string-syntax
fumieval/winery
Preservative serialisation format
haskell/actions
Github actions for Haskell CI
AckslD/muren.nvim
Multiple replacements in neovim
rzk-lang/rzk
An experimental proof assistant based on a type theory for synthetic ∞-categories.
emilyriehl/yoneda
comparative formalizations of the Yoneda lemma for 1-categories and infinity-categories
ECburx/Idris2GL
A Graphics Library for Idris 2.
well-typed/falsify
Bodigrim/tasty-bench-fit
Benchmark a given function for variable input sizes and find out its time complexity
stevana/pipelined-state-machines
An experiment in declaratively programming parallel pipelines of state machines.
wavewave/fficxx
Haskell-C++ Foreign Function Interface Generator
marcosh/crem
Compositional Representable Executable Machines
CubOfJudahsLion/tm-ghci
A TeXmacs plugin for running GHCi sessions
btq-ag/keelung
The Keelung Language
kiyoon/haskell-scope-highlighting.nvim
Haskell syntax highlighting that considers variable scopes
nomeata/haskell-on-fastly
Experiments about running Haskell via WebAssembly on Fastly
mzabani/codd
Codd is a simple-to-use CLI tool that applies plain postgres SQL migrations atomically with strong and automatic cross-environment schema equality checks.
freckle/stack-lint-extra-deps
Stack Lint Extra Deps (SLED)
isovector/composition
haskell/play-haskell
Haskell Playground
sheaf/if-instance
GHC plugin to branch on whether a constraint is satisfied
isovector/transitive-anns
transitively track and reify annotations across a codebase
bgamari/tree-sitter-ghc-core
A tree-sitter grammar for GHC Core
bodil/higher
Your favourite Haskell type classes for Rust
SimulaVR/Simula
Linux VR Desktop
reubenharry/haskell-docs
well-typed/dupIO
JakobBruenker/monadic-bang
GHC plugin to desugar ! into do-notation