46 Open source projects that are alternatives of or similar to type-natural

A macro for defining type operators in Rust.

Haskell GHC reading guide

GHC Whole Program Compiler and External STG IR tooling

Visual tool to spot odd runtime behaviour of Haskell programs.

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

Type-safe modelling DSL, symbolic transformation, and code generation for solving optimization problems.

Symbol manipulation

TOML file format parser in Haskell

Haskell/GHCi as a Hex-Calculator interactive

Nix installation for ghcide

Automatically trace all (showable) binds in do expressions

GHC compiled against musl & uClibc

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

A understandable Haskell tracer.

Cardano Stakepool on Raspberry Pi

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

Software Transactional Memory

Hot swapping compiled code while keeping a websocket connection open

ghc and cabal completion for zsh shell

Minimise haskell imports, make exports explicit

cabal in Valle

DEPRECATED IN FAVOR OF haskell/ghcup-hs

Haskell/GHC symbol search cheatsheet

The engine for haskell ide-integration. Not an IDE

haskell ghc-illustrated

Simple GHC (Haskell) integration for VSCode

Cached Haskell IDE Engine Nix builds for all GHC versions

Generate Haskell bindings for GObject-Introspection capable libraries

Higher-kinded data via generics

A Haskell to WebAssembly compiler

GRIN backend for GHC

A GHC-based Haskell to JavaScript compiler

type-safe JSON spec and validation tool

Literature review of GHC's Core language, System FC

haskell lazy evaluation illustrated

🐙🛠️ Open-source self-hosted solution for managing multiple deployments in a Kubernetes cluster with a user-friendly web interface.

THIS REPO IS A MIRROR, BUG REPORTS GO HERE:

Helps with visualising the schedule for GHC 2018

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

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

Web application for exploring and understanding Haskell codebases

🕵️ Haskell STatic ANalyser

Developer tools for Haskell

Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.

Syntax highlighter for Haskell using the lexer of GHC

GHC version of haskell-src-exts exactPrint