GitHub topics: ghc
haskell/haskell-language-server
Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.
Language: Haskell - Size: 23.6 MB - Last synced at: about 3 hours ago - Pushed at: about 10 hours ago - Stars: 2,790 - Forks: 389
haskell/ghcup-hs
Language: Haskell - Size: 11.8 MB - Last synced at: 1 day ago - Pushed at: 4 days ago - Stars: 316 - Forks: 96
benz0li/ghc-musl
Unofficial 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: 1.09 MB - Last synced at: 2 days ago - Pushed at: 3 days ago - Stars: 28 - Forks: 1
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: 4 days ago - Pushed at: 4 days ago - Stars: 0 - Forks: 0
kowainik/stan
🕵️ Haskell STatic ANalyser
Language: Haskell - Size: 559 KB - Last synced at: about 5 hours ago - Pushed at: 3 months ago - Stars: 580 - Forks: 52
haskell-gi/haskell-gi
Generate Haskell bindings for GObject-Introspection capable libraries
Language: Haskell - Size: 3.92 MB - Last synced at: 4 days ago - Pushed at: 5 days ago - Stars: 301 - Forks: 74
dmjio/miso
:ramen: A tasty Haskell front-end framework
Language: Haskell - Size: 2.01 MB - Last synced at: 6 days ago - Pushed at: 6 days ago - Stars: 2,249 - Forks: 142
termux/ghc-cross-tools
Glasgow Haskell Cross-Compiler targeting Android
Language: Shell - Size: 44.9 KB - Last synced at: 3 days ago - Pushed at: 23 days ago - Stars: 8 - Forks: 1
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: 7 days ago - Pushed at: over 1 year ago - Stars: 30 - Forks: 1
valderman/haste-compiler
A GHC-based Haskell to JavaScript compiler
Language: Haskell - Size: 3.98 MB - Last synced at: 8 days ago - Pushed at: about 6 years ago - Stars: 1,443 - Forks: 111
haskell/haskell-ide-engine 📦
The engine for haskell ide-integration. Not an IDE
Language: Haskell - Size: 6.48 MB - Last synced at: 6 days ago - Pushed at: over 4 years ago - Stars: 2,375 - Forks: 206
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: 6 days ago - Pushed at: 18 days ago - Stars: 0 - Forks: 0
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: 7 days ago - Pushed at: over 2 years ago - Stars: 1,966 - Forks: 58
takenobu-hs/haskell-symbol-search-cheatsheet
Haskell/GHC symbol search cheatsheet
Size: 110 KB - Last synced at: 17 days ago - Pushed at: 12 months ago - Stars: 319 - Forks: 14
alessandrokonrad/Pi-Pool
Cardano Stakepool on Raspberry Pi
Language: Shell - Size: 20 MB - Last synced at: 15 days ago - Pushed at: almost 4 years ago - Stars: 204 - Forks: 20
takenobu-hs/haskell-ghc-illustrated
haskell ghc-illustrated
Size: 9.9 MB - Last synced at: 22 days ago - Pushed at: about 4 years ago - Stars: 259 - Forks: 7
coot/ghc-tags-plugin
Generate tags file for haskell modules (GHC)
Language: Haskell - Size: 2.12 MB - Last synced at: 16 days ago - Pushed at: about 1 month ago - Stars: 41 - Forks: 1
csabahruska/manual-stg-experiment
Manually constructed STG programs compiled with the standard GHC codegen backend.
Language: Haskell - Size: 9.77 KB - Last synced at: 11 days 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: 15 days ago - Pushed at: over 3 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: 23 days ago - Pushed at: 24 days ago - Stars: 7 - Forks: 4
coot/zsh-haskell
ghc and cabal completion for zsh shell
Language: Shell - Size: 893 KB - Last synced at: 18 days ago - Pushed at: about 2 months ago - Stars: 19 - Forks: 0
konn/sized
Sized sequence data-types
Language: Haskell - Size: 614 KB - Last synced at: 19 days ago - Pushed at: about 2 months ago - Stars: 11 - Forks: 1
iphydf/dockerfiles Fork of TokTok/dockerfiles
Dockerfiles for (cross-)compiling TokTok projects for various platforms
Language: Shell - Size: 528 KB - Last synced at: 2 months ago - Pushed at: 2 months ago - Stars: 0 - Forks: 0
xyproto/ainur
:milky_way: Detect compiler names and versions from ELF files
Language: Go - Size: 9.76 MB - Last synced at: 14 days ago - Pushed at: 7 months ago - Stars: 25 - Forks: 4
infinisil/all-hies 📦
Cached Haskell IDE Engine Nix builds for all GHC versions
Language: Nix - Size: 3.64 MB - Last synced at: 7 days ago - Pushed at: about 4 years ago - Stars: 192 - Forks: 15
cachix/ghcide-nix 📦
Nix installation for ghcide
Language: Nix - Size: 136 KB - Last synced at: about 1 hour 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: 4 days ago - Pushed at: over 3 years ago - Stars: 109 - Forks: 3
konn/type-natural
Type-level well-kinded natural numbers.
Language: Haskell - Size: 555 KB - Last synced at: 17 days ago - Pushed at: 4 months ago - Stars: 34 - Forks: 12
haskell-tools/haskell-tools
Developer tools for Haskell
Language: Haskell - Size: 6.3 MB - Last synced at: 13 days ago - Pushed at: 9 months ago - Stars: 250 - Forks: 27
valderman/ghc-simple
Simplified interface to the GHC API
Language: Haskell - Size: 42 KB - Last synced at: 3 days ago - Pushed at: about 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: 19 days ago - Pushed at: over 6 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: 5 days ago - Pushed at: 3 months ago - Stars: 54 - Forks: 10
alanz/ghc-exactprint
GHC version of haskell-src-exts exactPrint
Language: Haskell - Size: 4.13 MB - Last synced at: 10 days ago - Pushed at: 10 days ago - Stars: 71 - Forks: 32
redneb/ghc-alt-libc
GHC compiled against musl & uClibc
Size: 30.3 KB - Last synced at: 21 days ago - Pushed at: 3 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: almost 4 years ago - Stars: 3 - Forks: 1
t4ccer/imghcprof
Graphical viewer for GHC .prof files
Language: Rust - Size: 66.4 KB - Last synced at: 17 days ago - Pushed at: 5 months ago - Stars: 4 - Forks: 0
dramforever/vscode-ghc-simple
Simple GHC (Haskell) integration for VSCode
Language: TypeScript - Size: 876 KB - Last synced at: 15 days ago - Pushed at: 10 months ago - Stars: 223 - Forks: 15
damianfral/ghcaniuse
GHC language extensions table
Language: Haskell - Size: 146 KB - Last synced at: 15 days ago - Pushed at: 4 months ago - Stars: 48 - Forks: 3
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: 756 KB - Last synced at: about 1 month ago - Pushed at: 4 months ago - Stars: 0 - 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: 23 days ago - Pushed at: over 2 years ago - Stars: 573 - Forks: 86
haskell/stm
Software Transactional Memory
Language: Haskell - Size: 228 KB - Last synced at: 6 days ago - Pushed at: 5 months ago - Stars: 102 - Forks: 36
i-am-tom/higgledy
Higher-kinded data via generics
Language: Haskell - Size: 112 KB - Last synced at: 18 days ago - Pushed at: 8 months ago - Stars: 170 - Forks: 21
dmjio/remote-iserv
Cross-compile TH splices on iOS
Language: Nix - Size: 2.93 KB - Last synced at: 15 days ago - Pushed at: 4 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: 15 days ago - Pushed at: 4 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: 9 days ago - Pushed at: 4 months ago - Stars: 6 - Forks: 0
takenobu-hs/lazy_evaluation
haskell lazy evaluation illustrated
Size: 23 MB - Last synced at: 2 days ago - Pushed at: almost 8 years ago - Stars: 72 - Forks: 1
cjacker/Hugs Fork of clausecker/Hugs
Hugs98 Improvment
Language: C - Size: 3.48 MB - Last synced at: 5 months ago - Pushed at: 5 months ago - Stars: 1 - Forks: 1
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: 5 days ago - Pushed at: about 3 years ago - Stars: 21 - Forks: 6
SecretSheppy/haskedit
The simple Haskell editor for Windows
Language: JavaScript - Size: 222 KB - Last synced at: 15 days ago - Pushed at: 5 months ago - Stars: 0 - Forks: 0
aidatorajiro/ghcjs-devenv
A docker image to develop GHC/GHCJS 9 projects.
Language: Lua - Size: 14.6 KB - Last synced at: 28 days ago - Pushed at: 5 months ago - Stars: 0 - Forks: 0
typeable/schematic
type-safe JSON spec and validation tool
Language: Haskell - Size: 197 KB - Last synced at: about 11 hours ago - Pushed at: over 4 years ago - Stars: 85 - Forks: 10
portnov/ghcprofview-hs
GHC .prof files viewer
Language: Haskell - Size: 55.7 KB - Last synced at: 23 days ago - Pushed at: over 2 years ago - Stars: 19 - Forks: 2
mirryi/cabal-foreign-library
Build and link a Cabal foreign-library to a Rust crate
Language: Rust - Size: 64.5 KB - Last synced at: 22 days ago - Pushed at: 5 months ago - Stars: 0 - Forks: 0
michelou/haskell-examples
Playing with Haskell on Windows
Language: Haskell - Size: 9.76 MB - Last synced at: 6 months ago - Pushed at: 6 months ago - Stars: 0 - Forks: 0
alexwl/haskell-code-explorer
Web application for exploring and understanding Haskell codebases
Language: Haskell - Size: 1.39 MB - Last synced at: 5 months ago - Pushed at: over 2 years ago - Stars: 512 - Forks: 20
stevemao/lambda-al-stack
Pre-build dependencies for Haskell stack on AWS Lambda using Amazon Linux
Language: Dockerfile - Size: 198 KB - Last synced at: about 1 month ago - Pushed at: 7 months ago - Stars: 0 - Forks: 1
haskell/ghcup 📦
DEPRECATED IN FAVOR OF haskell/ghcup-hs
Language: Shell - Size: 1.04 MB - Last synced at: 6 days ago - Pushed at: over 2 years ago - Stars: 263 - Forks: 24
takenobu-hs/ghci-hexcalc
Haskell/GHCi as a Hex-Calculator interactive
Language: Haskell - Size: 74.2 KB - Last synced at: 10 days ago - Pushed at: 11 months ago - Stars: 25 - Forks: 3
kakkun61/ghcman
Switch GHC and Cabal quickly on PowerShell
Language: PowerShell - Size: 121 KB - Last synced at: 23 days ago - Pushed at: 9 months ago - Stars: 21 - Forks: 3
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: 21 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: 9 months ago - Pushed at: over 7 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: 13 days ago - Pushed at: about 1 year ago - Stars: 22 - Forks: 10
mrkkrp/ghc-syntax-highlighter
Syntax highlighter for Haskell using the lexer of GHC
Language: Haskell - Size: 112 KB - Last synced at: 6 months ago - Pushed at: 10 months ago - Stars: 59 - Forks: 7
konn/ghc-typelits-presburger
Presburger arithmetic solver for built-in type-level naturals
Language: Haskell - Size: 1.22 MB - Last synced at: 12 months ago - Pushed at: over 1 year ago - Stars: 6 - Forks: 6
andersonhsporto/haskell-piscine
Dive into the fundamentals of haskell
Language: Haskell - Size: 3.91 KB - Last synced at: about 1 month ago - Pushed at: 11 months ago - Stars: 0 - Forks: 0
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: about 1 year ago - Pushed at: over 1 year ago - Stars: 626 - Forks: 95
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: 12 months ago - Pushed at: over 8 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: 12 months ago - Pushed at: over 9 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: about 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: about 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: about 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: about 1 year ago - Pushed at: about 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: about 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: about 1 year ago - Pushed at: almost 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: 23 days ago - Pushed at: almost 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: 18 days ago - Pushed at: about 1 year ago - Stars: 19 - Forks: 2
haskell-debugger/haskell-estgi-debugger
A modern Haskell debugger
Language: Haskell - Size: 1.14 MB - Last synced at: about 1 year ago - Pushed at: over 1 year ago - Stars: 27 - Forks: 1
bearddan2000/verve-cli-hello-world
A POC for verve programming language.
Language: Shell - Size: 1000 Bytes - Last synced at: 30 days 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: about 1 year ago - Pushed at: over 1 year ago - Stars: 113 - Forks: 12
opensuse-haskell/configuration
Configuration and patches that guide the generation of the Haskell projects at openSUSE.
Language: Haskell - Size: 2.71 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 6 - Forks: 4
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: 7 months ago - Pushed at: over 1 year 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: 23 days ago - Pushed at: about 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: about 1 year ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0
Techtonica/keyboard-shortcuts-practice
Language: JavaScript - Size: 13.3 MB - Last synced at: about 1 year ago - Pushed at: about 2 years ago - Stars: 26 - Forks: 56
sueszli/fprog 📦
just fooling around with haskell
Language: Haskell - Size: 31.3 KB - Last synced at: 12 months ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0
portnov/hpview
GHC's .hp files viewer
Language: Haskell - Size: 62.5 KB - Last synced at: 21 days ago - Pushed at: over 1 year ago - Stars: 3 - Forks: 1
xnning/GHC-Core-Literature-Review
Literature review of GHC's Core language, System FC
Size: 455 KB - Last synced at: over 1 year ago - Pushed at: almost 7 years ago - Stars: 67 - Forks: 1
hceresetti/special-topics-in-internet-systems-iii
Haskell code snippets written for accomplished and delivered assignments in Special Topics In Internet Systems III subject on Internet Systems graduation course, in progress in Fatec Rubens Lara.
Language: Haskell - Size: 33.2 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0
jrp2014/smuggler2 Fork of kowainik/smuggler
Minimise haskell imports, make exports explicit
Language: Haskell - Size: 337 KB - Last synced at: 15 days ago - Pushed at: over 1 year ago - Stars: 19 - Forks: 2
takenobu-hs/haskell-ghc-reading-guide
Haskell GHC reading guide
Size: 2.9 MB - Last synced at: 2 days ago - Pushed at: about 4 years ago - Stars: 35 - Forks: 1
benz0li/ssi
Containerised Stack source installation. Please submit Pull Requests to the GitLab repository. Mirror of
Language: Shell - Size: 16.6 KB - Last synced at: 12 months ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0
dgaw/hs-bench-build
Benchmark the compilation time of your Haskell project.
Language: Haskell - Size: 16.6 KB - Last synced at: over 1 year ago - Pushed at: over 6 years ago - Stars: 1 - Forks: 0
AKST/thesis-analysis 📦
(No longer maintained) Analysis work of my thesis
Language: Python - Size: 57.6 KB - Last synced at: over 1 year ago - Pushed at: almost 8 years ago - Stars: 0 - Forks: 0
AKST/thesis-dashboard 📦
(not maintained) Dashboard for exploring the data gathered during my thesis
Language: JavaScript - Size: 383 KB - Last synced at: over 1 year ago - Pushed at: almost 5 years ago - Stars: 0 - Forks: 0
sestrella/asdf-ghc 📦
GHC plugin for asdf version manager.
Language: Python - Size: 34.2 KB - Last synced at: over 1 year ago - Pushed at: about 3 years ago - Stars: 0 - Forks: 1
haskellformac/GHCframework
GHC wrapped into a framework to be used in Cocoa applications
Language: Shell - Size: 186 MB - Last synced at: over 1 year ago - Pushed at: over 4 years ago - Stars: 6 - Forks: 1
sdiehl/dive-into-ghc
Dive into GHC
Language: Haskell - Size: 7.81 KB - Last synced at: 17 days ago - Pushed at: over 8 years ago - Stars: 82 - Forks: 6
nmattia/haskell-hot-swap
Hot swapping compiled code while keeping a websocket connection open
Language: Haskell - Size: 5.86 KB - Last synced at: 19 days ago - Pushed at: almost 9 years ago - Stars: 26 - Forks: 1
Compilers-DiT-2023/Analysis-of-Haskell
An analysis of Haskell and its GHC compiler, as part of the K31 Compilers course of Spring 2023 at DIT UoA.
Language: TeX - Size: 10.4 MB - Last synced at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 5 - Forks: 0
