dmjio/miso

:ramen: A tasty Haskell web framework

Language: Haskell - Size: 3.22 MB - Last synced at: about 17 hours ago - Pushed at: about 18 hours ago - Stars: 2,305 - Forks: 148

haskell/ghcup-hs

Language: Haskell - Size: 11.8 MB - Last synced at: 1 day ago - Pushed at: 10 days ago - Stars: 334 - Forks: 104

haskell/haskell-language-server

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

Language: Haskell - Size: 23.7 MB - Last synced at: 1 day ago - Pushed at: 1 day ago - Stars: 2,835 - Forks: 406

Kohei-Wada/dotfiles

dotfiles

Language: Lua - Size: 277 KB - Last synced at: 6 days ago - Pushed at: 6 days ago - Stars: 1 - Forks: 0

haskell/stm

Software Transactional Memory

Language: Haskell - Size: 231 KB - Last synced at: about 8 hours ago - Pushed at: 3 months ago - Stars: 110 - Forks: 37

coot/ghc-tags-plugin

Generate tags file for haskell modules (GHC)

Language: Haskell - Size: 2.15 MB - Last synced at: 7 days ago - Pushed at: 7 days ago - Stars: 41 - Forks: 1

tweag/asterius 📦

DEPRECATED in favor of ghc wasm backend, see https://www.tweag.io/blog/2022-11-22-wasm-backend-merged-in-ghc

Language: Haskell - Size: 88.1 MB - Last synced at: about 10 hours ago - Pushed at: almost 3 years ago - Stars: 1,959 - Forks: 56

kowainik/stan

🕵️ Haskell STatic ANalyser

Language: Haskell - Size: 579 KB - Last synced at: 6 days ago - Pushed at: 13 days ago - Stars: 583 - Forks: 52

phoityne/pty-mcp-server

pty-mcp-server

Language: Haskell - Size: 22 MB - Last synced at: 5 days ago - Pushed at: 13 days ago - Stars: 12 - Forks: 0

phoityne/pms-infra-procspawn

pms-infra-procspawn

Language: Haskell - Size: 81.1 KB - Last synced at: 5 days ago - Pushed at: 13 days ago - Stars: 0 - Forks: 0

haskell-gi/haskell-gi

Generate Haskell bindings for GObject-Introspection capable libraries

Language: Haskell - Size: 3.93 MB - Last synced at: 14 days ago - Pushed at: 14 days ago - Stars: 309 - Forks: 75

haskell/haskell-ide-engine 📦

The engine for haskell ide-integration. Not an IDE

Language: Haskell - Size: 6.48 MB - Last synced at: 1 day ago - Pushed at: over 4 years ago - Stars: 2,371 - Forks: 206

mrkkrp/ghc-syntax-highlighter

Syntax highlighter for Haskell using the lexer of GHC

Language: Haskell - Size: 121 KB - Last synced at: 5 days ago - Pushed at: 19 days ago - Stars: 59 - Forks: 7

valderman/haste-compiler

A GHC-based Haskell to JavaScript compiler

Language: Haskell - Size: 3.98 MB - Last synced at: 9 days ago - Pushed at: over 6 years ago - Stars: 1,444 - Forks: 111

phoityne/pms-infrastructure

pms-infrastructure

Language: Haskell - Size: 104 KB - Last synced at: 5 days ago - Pushed at: 21 days ago - Stars: 1 - Forks: 0

phoityne/pms-vscode

pms-vscode

Language: TypeScript - Size: 676 KB - Last synced at: 5 days ago - Pushed at: 22 days ago - Stars: 1 - Forks: 0

kakkun61/ghcman

Switch GHC and Cabal quickly on PowerShell

Language: PowerShell - Size: 149 KB - Last synced at: 1 day ago - Pushed at: 25 days ago - Stars: 21 - Forks: 3

stevemao/lambda-al-stack

Pre-build dependencies for Haskell stack on AWS Lambda using Amazon Linux

Language: Dockerfile - Size: 205 KB - Last synced at: 26 days ago - Pushed at: 26 days ago - Stars: 0 - Forks: 1

phoityne/pms-infra-cmdrun

pms-infra-cmdrun

Language: Haskell - Size: 66.4 KB - Last synced at: 5 days ago - Pushed at: 27 days ago - Stars: 0 - Forks: 0

Kohei-Wada/phs

PipeLine Haskell Script

Language: Shell - Size: 8.79 KB - Last synced at: 27 days ago - Pushed at: 28 days ago - Stars: 0 - Forks: 0

alessandrokonrad/Pi-Pool

Cardano Stakepool on Raspberry Pi

Language: Shell - Size: 20 MB - Last synced at: 17 days ago - Pushed at: 3 months ago - Stars: 204 - Forks: 20

damianfral/ghcaniuse

GHC language extensions table

Language: Haskell - Size: 154 KB - Last synced at: 29 days ago - Pushed at: 29 days ago - Stars: 49 - Forks: 3

opensuse-haskell/configuration

Configuration and patches that guide the generation of the Haskell projects at openSUSE.

Language: Haskell - Size: 2.96 MB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 9 - Forks: 4

haskell/ghcup 📦

DEPRECATED IN FAVOR OF haskell/ghcup-hs

Language: Shell - Size: 1.04 MB - Last synced at: about 9 hours ago - Pushed at: over 2 years ago - Stars: 266 - Forks: 24

phoityne/pms-application-service

pms-application-service

Language: Haskell - Size: 97.7 KB - Last synced at: 5 days ago - Pushed at: about 1 month ago - Stars: 0 - Forks: 0

benz0li/ghc-musl

Unofficial and untested binary distributions of GHC on Alpine Linux. Multi-arch (linux/amd64, linux/arm64/v8) GHC musl docker images. Please submit Pull Requests to the GitLab repository. Mirror of

Language: Dockerfile - Size: 2.98 MB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 32 - Forks: 1

konn/ghc-typelits-presburger

Presburger arithmetic solver for built-in type-level naturals

Language: Haskell - Size: 1.46 MB - Last synced at: 14 days ago - Pushed at: about 2 months ago - Stars: 9 - Forks: 6

termux/ghc-cross-tools

Glasgow Haskell Cross-Compiler targeting Android

Language: Shell - Size: 44.9 KB - Last synced at: 17 days ago - Pushed at: 5 months ago - Stars: 11 - Forks: 3

phoityne/pms-ui-response

pms-ui-response

Language: Haskell - Size: 89.8 KB - Last synced at: 5 days ago - Pushed at: about 2 months ago - Stars: 0 - Forks: 0

phoityne/pms-ui-notification

pms-ui-notification

Language: Haskell - Size: 57.6 KB - Last synced at: 5 days ago - Pushed at: about 2 months ago - Stars: 0 - Forks: 0

iphydf/dockerfiles Fork of TokTok/dockerfiles

Dockerfiles for (cross-)compiling TokTok projects for various platforms

Language: Shell - Size: 538 KB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 0 - Forks: 0

typeable/schematic

type-safe JSON spec and validation tool

Language: Haskell - Size: 197 KB - Last synced at: 5 days ago - Pushed at: over 4 years ago - Stars: 86 - Forks: 10

i-am-tom/haskell-exercises

A little course to learn about some of the more obscure GHC extensions.

Language: Haskell - Size: 121 KB - Last synced at: 4 months ago - Pushed at: almost 2 years ago - Stars: 650 - Forks: 97

dramforever/vscode-ghc-simple

Simple GHC (Haskell) integration for VSCode

Language: TypeScript - Size: 876 KB - Last synced at: 4 months ago - Pushed at: about 1 year ago - Stars: 224 - Forks: 15

takenobu-hs/ghci-hexcalc

Haskell/GHCi as a Hex-Calculator interactive

Language: Haskell - Size: 74.2 KB - Last synced at: 12 days ago - Pushed at: over 1 year ago - Stars: 26 - Forks: 3

xyproto/ainur

:milky_way: Detect compiler names and versions from ELF files

Language: Go - Size: 9.76 MB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 26 - Forks: 4

penalara/engineInputGHCFile

Maven project with Json Schema file which contains the specification of the Json formant to make an input for the new PeñalaraGHC's timetable engine.

Language: Java - Size: 757 KB - Last synced at: 10 days ago - Pushed at: 4 months ago - Stars: 0 - Forks: 0

portnov/ghcprofview-hs

GHC .prof files viewer

Language: Haskell - Size: 55.7 KB - Last synced at: 20 days ago - Pushed at: about 3 years ago - Stars: 19 - Forks: 2

lyokha/ghc-stdin

A frontend plugin for GHC to compile source code from the standard input

Language: Haskell - Size: 19.5 KB - Last synced at: 3 months ago - Pushed at: 4 months ago - Stars: 6 - Forks: 0

takenobu-hs/haskell-ghc-illustrated

haskell ghc-illustrated

Size: 9.9 MB - Last synced at: 2 months ago - Pushed at: over 4 years ago - Stars: 260 - Forks: 7

takenobu-hs/haskell-symbol-search-cheatsheet

Haskell/GHC symbol search cheatsheet

Size: 110 KB - Last synced at: 2 months ago - Pushed at: over 1 year ago - Stars: 322 - Forks: 14

johnbarnes-vi/haskell-project-env

A Nix tool for Haskell projects, combining Nix reproducibility with Cabal flexibility. It uses Nix for consistent setup and tooling, while leveraging Cabal for core Haskell management.

Language: Nix - Size: 8.79 KB - Last synced at: 29 days ago - Pushed at: 5 months ago - Stars: 0 - Forks: 0

cies/htoml

TOML file format parser in Haskell

Language: HTML - Size: 318 KB - Last synced at: 3 months ago - Pushed at: over 3 years ago - Stars: 39 - Forks: 13

xyproto/cdetect

:microscope: Detect which compiler and compiler version a Linux executable (in the ELF format) was compiled with

Language: Go - Size: 1.88 MB - Last synced at: 5 months ago - Pushed at: over 1 year ago - Stars: 30 - Forks: 1

rbeauchamp/industrial-haskell-template

Industrial-grade Haskell project template for mission-critical systems. Features formal verification (LiquidHaskell), robust error handling, hexagonal architecture, TDD, and AI-assistant rules (Cursor)

Language: Haskell - Size: 122 KB - Last synced at: 8 days ago - Pushed at: 5 months ago - Stars: 0 - Forks: 0

csabahruska/manual-stg-experiment

Manually constructed STG programs compiled with the standard GHC codegen backend.

Language: Haskell - Size: 9.77 KB - Last synced at: 5 months ago - Pushed at: over 4 years ago - Stars: 23 - Forks: 3

grin-compiler/ghc-grin

GRIN backend for GHC

Language: Haskell - Size: 60.3 MB - Last synced at: 5 months ago - Pushed at: almost 4 years ago - Stars: 144 - Forks: 4

TokTok/dockerfiles

Dockerfiles for (cross-)compiling TokTok projects for various platforms

Language: Shell - Size: 545 KB - Last synced at: 4 months ago - Pushed at: 5 months ago - Stars: 7 - Forks: 4

coot/zsh-haskell

ghc and cabal completion for zsh shell

Language: Shell - Size: 893 KB - Last synced at: about 1 month ago - Pushed at: 6 months ago - Stars: 19 - Forks: 0

alexwl/haskell-code-explorer

Web application for exploring and understanding Haskell codebases

Language: Haskell - Size: 1.39 MB - Last synced at: 4 months ago - Pushed at: over 2 years ago - Stars: 515 - Forks: 20

konn/sized

Sized sequence data-types

Language: Haskell - Size: 614 KB - Last synced at: 5 months ago - Pushed at: 7 months ago - Stars: 11 - Forks: 1

infinisil/all-hies 📦

Cached Haskell IDE Engine Nix builds for all GHC versions

Language: Nix - Size: 3.64 MB - Last synced at: 9 days ago - Pushed at: over 4 years ago - Stars: 192 - Forks: 15

cachix/ghcide-nix 📦

Nix installation for ghcide

Language: Nix - Size: 136 KB - Last synced at: 6 days ago - Pushed at: over 4 years ago - Stars: 74 - Forks: 22

grin-compiler/haskell-code-spot

Visual tool to spot odd runtime behaviour of Haskell programs.

Language: Svelte - Size: 6.51 MB - Last synced at: 5 days ago - Pushed at: almost 4 years ago - Stars: 109 - Forks: 3

konn/type-natural

Type-level well-kinded natural numbers.

Language: Haskell - Size: 555 KB - Last synced at: 2 months ago - Pushed at: 8 months ago - Stars: 34 - Forks: 12

haskell-tools/haskell-tools

Developer tools for Haskell

Language: Haskell - Size: 6.3 MB - Last synced at: 3 days ago - Pushed at: about 1 year ago - Stars: 250 - Forks: 29

valderman/ghc-simple

Simplified interface to the GHC API

Language: Haskell - Size: 42 KB - Last synced at: 15 days ago - Pushed at: over 6 years ago - Stars: 22 - Forks: 3

i-am-tom/learn-me-a-haskell

Trying to get back all the stuff I had in JavaScript.

Language: Haskell - Size: 138 KB - Last synced at: 3 months ago - Pushed at: almost 7 years ago - Stars: 69 - Forks: 1

bgamari/ghc-dump

A GHC plugin and library for analysing GHC Core

Language: Haskell - Size: 7.57 MB - Last synced at: 7 days ago - Pushed at: 7 months ago - Stars: 54 - Forks: 10

alanz/ghc-exactprint

GHC version of haskell-src-exts exactPrint

Language: Haskell - Size: 4.63 MB - Last synced at: 26 days ago - Pushed at: about 2 months ago - Stars: 71 - Forks: 32

redneb/ghc-alt-libc

GHC compiled against musl & uClibc

Size: 30.3 KB - Last synced at: 4 months ago - Pushed at: 8 months ago - Stars: 40 - Forks: 2

takenobu-hs/haskell-ghc-cmm-examples

Haskell/GHC Cmm examples

Language: Assembly - Size: 13.7 KB - Last synced at: 2 months ago - Pushed at: about 4 years ago - Stars: 3 - Forks: 1

t4ccer/imghcprof

Graphical viewer for GHC .prof files

Language: Rust - Size: 66.4 KB - Last synced at: 5 months ago - Pushed at: 10 months ago - Stars: 4 - Forks: 0

SublimeHaskell/SublimeHaskell

A Sublime Text 3 plugin for Haskell. Features cabal building, error and warning highlighting, smart completion and ghc-mod integration.

Language: Python - Size: 20.9 MB - Last synced at: 5 months ago - Pushed at: almost 3 years ago - Stars: 573 - Forks: 86

i-am-tom/higgledy

Higher-kinded data via generics

Language: Haskell - Size: 112 KB - Last synced at: 21 days ago - Pushed at: about 1 year ago - Stars: 170 - Forks: 21

haskell-debugger/haskell-estgi-debugger

A modern Haskell debugger

Language: Haskell - Size: 1.14 MB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 30 - Forks: 1

dmjio/remote-iserv

Cross-compile TH splices on iOS

Language: Nix - Size: 2.93 KB - Last synced at: 5 months ago - Pushed at: 9 months ago - Stars: 3 - Forks: 0

dmjio/persistent-generic

Generic facilities for working with Persistent classes

Language: Haskell - Size: 3.91 KB - Last synced at: 5 months ago - Pushed at: 9 months ago - Stars: 2 - Forks: 1

dmjio/lens-th-rewrite

GHC plugin to rewrite lens Template Haskell splices into pure functions

Language: Haskell - Size: 15.6 KB - Last synced at: 5 months ago - Pushed at: 9 months ago - Stars: 6 - Forks: 0

takenobu-hs/lazy_evaluation

haskell lazy evaluation illustrated

Size: 23 MB - Last synced at: 2 months ago - Pushed at: over 8 years ago - Stars: 72 - Forks: 1

cjacker/Hugs Fork of clausecker/Hugs

Hugs98 Improvment

Language: C - Size: 3.48 MB - Last synced at: 9 months ago - Pushed at: 9 months ago - Stars: 1 - Forks: 1

tweag/stackage-head 📦

Stackage builds based on GHC HEAD

Language: Haskell - Size: 658 KB - Last synced at: 4 months ago - Pushed at: almost 7 years ago - Stars: 8 - Forks: 0

bgamari/the-thoralf-plugin

This a type-checker plugin to rule all type checker plugins involving type-equality reasoning using smt solvers.

Language: Haskell - Size: 139 KB - Last synced at: 7 days ago - Pushed at: over 3 years ago - Stars: 21 - Forks: 6

SecretSheppy/haskedit

The simple Haskell editor for Windows

Language: JavaScript - Size: 222 KB - Last synced at: 2 months ago - Pushed at: 9 months ago - Stars: 0 - Forks: 0

torahappy/ghcjs-devenv

A docker image to develop GHC/GHCJS 9 projects.

Language: Lua - Size: 14.6 KB - Last synced at: 8 days ago - Pushed at: 9 months ago - Stars: 0 - Forks: 0

mirryi/cabal-foreign-library

Build and link a Cabal foreign-library to a Rust crate

Language: Rust - Size: 64.5 KB - Last synced at: 14 days ago - Pushed at: 10 months ago - Stars: 0 - Forks: 0

michelou/haskell-examples

Playing with Haskell on Windows

Language: Haskell - Size: 9.76 MB - Last synced at: 10 months ago - Pushed at: 10 months ago - Stars: 0 - Forks: 0

blitzcode/ghc-stack

Hacking GHC's Stack for Fun and Profit (featuring The Glorious Haskell Debugger v0.0.1 Pre-alpha)

Language: C++ - Size: 198 KB - Last synced at: 2 months ago - Pushed at: over 11 years ago - Stars: 69 - Forks: 4

chshersh/ghc-plugin-non-empty

🧬 GHC Plugin for compile-time transformation of list literals to NonEmpty list

Language: Haskell - Size: 32.2 KB - Last synced at: 18 days ago - Pushed at: over 2 years ago - Stars: 27 - Forks: 3

sighingnow/intuition-plugin

An experiment on applying automated type-level equation reasoning techniques to guiding type normalization of GHC.

Language: Haskell - Size: 17.6 KB - Last synced at: about 1 year ago - Pushed at: almost 8 years ago - Stars: 2 - Forks: 0

lpeterse/haskell-terminal

Haskell library for terminal interaction (without terminfo dependency but with Windows support)

Language: Haskell - Size: 392 KB - Last synced at: about 1 month ago - Pushed at: over 1 year ago - Stars: 22 - Forks: 10

andersonhsporto/haskell-piscine

Dive into the fundamentals of haskell

Language: Haskell - Size: 3.91 KB - Last synced at: 6 months ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

germanleonz/sapphire Fork of chamini2/sapphire

Sapphire programming language developed by Matteo Ferrando and Germán León.

Language: Haskell - Size: 2.52 MB - Last synced at: over 1 year ago - Pushed at: about 9 years ago - Stars: 2 - Forks: 0

germanleonz/brainiac

Haskell implementation of an interpreter for the Brainiac programming language

Language: Haskell - Size: 2.12 MB - Last synced at: over 1 year ago - Pushed at: almost 10 years ago - Stars: 0 - Forks: 0

bearddan2000/discus-cli-hello-world

A POC for discus programming language.

Language: Shell - Size: 1000 Bytes - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

bearddan2000/dev-haskell-cli-buck2build-hello-world

A POC for buck2 and haskell.

Language: Shell - Size: 2.93 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

jml/rules_haskell-old 📦

Haskell rules for Bazel

Language: Python - Size: 39.1 KB - Last synced at: over 1 year ago - Pushed at: over 4 years ago - Stars: 3 - Forks: 0

lagunoff/htmlt

Lightweight frontend library for GHC with JavaScript Backend

Language: Haskell - Size: 3.54 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 18 - Forks: 0

P7h/docker-haskell

:ship: Docker Image for Stack or GHC and Cabal

Size: 7.81 KB - Last synced at: over 1 year ago - Pushed at: over 8 years ago - Stars: 2 - Forks: 1

MondayMorningHaskell/haskellings

An automated tutorial to teach you about Haskell!

Language: Haskell - Size: 237 KB - Last synced at: over 1 year ago - Pushed at: over 2 years ago - Stars: 159 - Forks: 25

ocharles/what-it-do

Automatically trace all (showable) binds in do expressions

Language: Haskell - Size: 5.86 KB - Last synced at: 4 days ago - Pushed at: about 7 years ago - Stars: 84 - Forks: 4

sellout/compiling-anything-to-categories

a talk about and sample project for the [Categorifier](https://github.org/con-kitty/categorifier) GHC plugin.

Language: Haskell - Size: 2.31 MB - Last synced at: 5 months ago - Pushed at: over 1 year ago - Stars: 19 - Forks: 2

bearddan2000/verve-cli-hello-world

A POC for verve programming language.

Language: Shell - Size: 1000 Bytes - Last synced at: about 2 months ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

grin-compiler/ghc-whole-program-compiler-project

GHC Whole Program Compiler and External STG IR tooling

Language: Haskell - Size: 81.9 MB - Last synced at: over 1 year ago - Pushed at: almost 2 years ago - Stars: 113 - Forks: 12

vzarytovskii/haskell-dev-env Fork of hmemcpy/haskell-hie-devcontainer

A Dockerfile for Haskell Development, and DevContainer for VSCode, for installing GHC HLS (Haskell Language Server) and the required plugins

Language: Dockerfile - Size: 52.7 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 47 - Forks: 14

Arthi-chaud/seminal-haskell 📦

Better Type Error Messages for Haskell (Implementation of Seminal for Haskell, Master Project)

Language: Haskell - Size: 1.24 MB - Last synced at: 11 months ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0

harmim/vut-flp-labs

Funkcionální a logické programování - Cvičení

Language: Haskell - Size: 691 KB - Last synced at: 5 months ago - Pushed at: over 5 years ago - Stars: 0 - Forks: 0

mathewalex806/EcoImpact

EcoImpact is an innovative online platform that empowers users to understand and reduce their greenhouse gas (GHG) emissions related to everyday activities.

Language: HTML - Size: 62.5 KB - Last synced at: over 1 year ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0

Techtonica/keyboard-shortcuts-practice

Language: JavaScript - Size: 13.3 MB - Last synced at: over 1 year ago - Pushed at: over 2 years ago - Stars: 26 - Forks: 56

sueszli/fprog 📦

just fooling around with haskell

Language: Haskell - Size: 31.3 KB - Last synced at: over 1 year ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0