Skip to content
View Misterio77's full-sized avatar
❄️
❄️

Sponsors

@vakili

Highlights

  • Pro

Organizations

@NixOS @nix-community @gelos-icmc

Block or report Misterio77

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.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. 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

Starred repositories

11 results for source starred repositories written in Haskell
Clear filter

A modern proof language

Haskell 3,704 147 Updated Jan 22, 2025

Official Haskell IDE support via the language server protocol (LSP)

Haskell 2,861 410 Updated Nov 3, 2025

A RESTful Haskell web framework built on WAI.

Haskell 2,697 376 Updated Oct 23, 2025

Pipe your nix-build output through the nix-output-monitor a.k.a nom to get additional information while building.

Haskell 1,280 38 Updated Oct 31, 2025

Functional reactive web and mobile applications, with batteries included.

Haskell 1,014 109 Updated Oct 22, 2025

Haskell implemented with combinators

Haskell 630 56 Updated Nov 6, 2025

Explain why two Nix derivations differ

Haskell 448 20 Updated Sep 6, 2025
Haskell 175 21 Updated Oct 30, 2025

refine properties for testing Haskell programs

Haskell 76 Updated Jan 30, 2025

2025 Election for the Steering Committee

Haskell 27 365 Updated Nov 2, 2025

Haskell implementation of a monopoly board

Haskell 3 Updated Aug 28, 2023