- London
-
00:07
(UTC) - tech.kmicklas.com
-
reflex-platform Public
Forked from reflex-frp/reflex-platformReflex FRP is a composable, cross-platform functional reactive programming framework for Haskell. It allows you to build interactive components in pure functional style, working in harmony with est…
Nix BSD 3-Clause "New" or "Revised" License UpdatedJun 18, 2021 -
cli-extras Public
Forked from obsidiansystems/cli-extrasHaskell BSD 3-Clause "New" or "Revised" License UpdatedApr 11, 2021 -
-
-
cabal-fmt Public
Forked from phadej/cabal-fmtAn experiment of formatting .cabal files
Haskell GNU General Public License v3.0 UpdatedJun 11, 2020 -
cabal Public
Forked from haskell/cabalOfficial upstream development repository for Cabal and cabal-install
Haskell Other UpdatedJun 11, 2020 -
android-activity Public
Forked from obsidiansystems/android-activityC BSD 3-Clause "New" or "Revised" License UpdatedMay 10, 2020 -
typerep-map Public
Forked from kowainik/typerep-map⚡️Efficient implementation of Map with types as keys
Haskell MIT License UpdatedApr 17, 2020 -
-
semantic-reflex Public
Forked from tomsmalley/semantic-reflex🔧 Semantic UI for Haskell and Reflex-DOM
Haskell BSD 3-Clause Clear License UpdatedOct 17, 2019 -
reflex-dom Public
Forked from reflex-frp/reflex-domReflex FRP is a composable, cross-platform functional reactive programming framework for Haskell. It allows you to build interactive components in pure functional style, working in harmony with es…
Haskell UpdatedOct 16, 2019 -
-
Mirror of the Glasgow Haskell Compiler. Patches are best submitted to GHC's Phabricator (https://phabricator.haskell.org/), bugs and feature-requests are best filed to GHC's Trac (https://ghc.haske…
-
hnix Public
Forked from haskell-nix/hnixA Haskell re-implementation of the Nix expression language
Nix BSD 3-Clause "New" or "Revised" License UpdatedMar 10, 2019 -
haskeline Public
Forked from haskell/haskelineA Haskell library for line input in command-line programs.
Haskell Other UpdatedOct 23, 2018 -
proto-lens Public
Forked from google/proto-lensAPI for protocol buffers using modern Haskell language and library patterns.
Haskell BSD 3-Clause "New" or "Revised" License UpdatedJun 7, 2018 -
redoak Public archive
An editor for the future
-
variadic-variant Public
A C++ variant library (like Boost.Variant) using C++11 variadic templates
-
sentence-pairs Public
Generates frequency sorted sentence pairs from the Tatoeba corpus suitable for importing into Anki
-
barycentric-collapse Public
An algorithm for carrying simplicial collapses through barycentric subdivision
-
-
verified-braun-heaps Public
A (eventually) fully verified priority queue using Braun heaps in Agda
-