alex-mckenna
Follow
-
hlint Public
Forked from ndmitchell/hlintHaskell source code suggestions
Haskell Other UpdatedFeb 18, 2025 -
clash-systolic Public
Systolic Networks in Clash
-
-
hnix Public
Forked from haskell-nix/hnixA Haskell re-implementation of the Nix expression language
Nix BSD 3-Clause "New" or "Revised" License UpdatedNov 17, 2022 -
HVM Public
Forked from HigherOrderCO/HVMA massively parallel, optimal functional runtime in Rust
Rust MIT License UpdatedMar 18, 2022 -
fakedata Public
Forked from fakedata-haskell/fakedataHaskell Library for producing quality fake data
Haskell BSD 3-Clause "New" or "Revised" License UpdatedJan 3, 2022 -
kloonbot Public
Forked from martijnbastiaan/kloonbotBSD 2-Clause "Simplified" License UpdatedMar 12, 2021 -
optimum Public
Declarative Optimization in Haskell
-
agda-stdlib Public
Forked from agda/agda-stdlibThe Agda standard library
Agda Other UpdatedMar 15, 2019 -
Agda is a dependently typed programming language / interactive theorem prover.
Haskell Other UpdatedMar 15, 2019 -
rust-cpuid Public
Forked from gz/rust-cpuidcpuid library in rust.
Rust MIT License UpdatedMar 15, 2019 -
unbound-generics Public
Forked from lambdageek/unbound-genericsSpecify variable binding in syntax trees using GHC.Generics (reimplementation of Unbound)
Haskell BSD 3-Clause "New" or "Revised" License UpdatedMar 15, 2019