Skip to content
View kderme's full-sized avatar

Organizations

@input-output-hk

Block or report kderme

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
Showing results

Test monadic programs using state machine based models

Haskell 17 11 Updated Sep 5, 2024

A library for building Haskell IDE tooling

Haskell 582 97 Updated Dec 30, 2020

A formatter for Haskell source code

Haskell 976 81 Updated Jan 17, 2025

Persistence interface for Haskell allowing multiple storage methods.

Haskell 469 298 Updated Jan 17, 2025

Test monadic programs using state machine based models

Haskell 202 25 Updated May 11, 2021

Haskell on Apache Spark.

Haskell 449 27 Updated Feb 1, 2023
Haskell 99 8 Updated Jan 7, 2025

Source code of the Coccinelle project (mirror of the main Coccinelle repository located at Inria)

OCaml 637 102 Updated Jan 13, 2025

Apache Spark - A unified analytics engine for large-scale data processing

Scala 40,364 28,460 Updated Jan 21, 2025

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive develo…

OCaml 4,904 661 Updated Jan 21, 2025

Cryptographic currency implementing Ouroboros PoS protocol

Haskell 3,763 630 Updated Jul 30, 2020
Showing results