Skip to content
View kmicklas's full-sized avatar

Sponsoring

@atuinsh

Organizations

@haskell-beam

Block or report kmicklas

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
  • Reflex 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 Updated Jun 18, 2021
  • Haskell BSD 3-Clause "New" or "Revised" License Updated Apr 11, 2021
  • obelisk Public

    Forked from obsidiansystems/obelisk
    Haskell Updated Dec 4, 2020
  • beam-keyed Public

    Haskell 2 Updated Sep 24, 2020
  • cabal-fmt Public

    Forked from phadej/cabal-fmt

    An experiment of formatting .cabal files

    Haskell GNU General Public License v3.0 Updated Jun 11, 2020
  • cabal Public

    Forked from haskell/cabal

    Official upstream development repository for Cabal and cabal-install

    Haskell Other Updated Jun 11, 2020
  • C BSD 3-Clause "New" or "Revised" License Updated May 10, 2020
  • ⚡️Efficient implementation of Map with types as keys

    Haskell MIT License Updated Apr 17, 2020
  • vessel Public

    Forked from obsidiansystems/vessel
    Haskell Other Updated Feb 17, 2020
  • 🔧 Semantic UI for Haskell and Reflex-DOM

    Haskell BSD 3-Clause Clear License Updated Oct 17, 2019
  • Reflex 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 Updated Oct 16, 2019
  • Haskell 2 Updated Aug 15, 2019
  • ghc Public

    Forked from ghc/ghc

    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…

    Haskell 1 Other Updated May 12, 2019
  • hnix Public

    Forked from haskell-nix/hnix

    A Haskell re-implementation of the Nix expression language

    Nix BSD 3-Clause "New" or "Revised" License Updated Mar 10, 2019
  • haskeline Public

    Forked from haskell/haskeline

    A Haskell library for line input in command-line programs.

    Haskell Other Updated Oct 23, 2018
  • proto-lens Public

    Forked from google/proto-lens

    API for protocol buffers using modern Haskell language and library patterns.

    Haskell BSD 3-Clause "New" or "Revised" License Updated Jun 7, 2018
  • redoak Public archive

    An editor for the future

    Haskell 2 GNU Affero General Public License v3.0 Updated Dec 25, 2017
  • A C++ variant library (like Boost.Variant) using C++11 variadic templates

    C++ 18 4 MIT License Updated Apr 13, 2017
  • Generates frequency sorted sentence pairs from the Tatoeba corpus suitable for importing into Anki

    Python 14 MIT License Updated Jul 26, 2016
  • An algorithm for carrying simplicial collapses through barycentric subdivision

    Haskell 1 Updated May 15, 2015
  • pyrec Public

    Haskell 2 MIT License Updated Jul 29, 2014
  • A (eventually) fully verified priority queue using Braun heaps in Agda

    Agda 1 2 MIT License Updated Jan 15, 2014
  • anki Public

    Forked from ankitects/anki

    Anki for desktop computers

    Python Other Updated Jul 1, 2013