Awesome Open Source

Programming Languages

Search results for types ghc

19 search results found

Haskell Study Plan ⭐ 611

An opinionated list of resources for learning Haskell

Ghcmod Vim ⭐ 439

Happy Haskell programming on Vim, powered by ghc-mod

Linear Base ⭐ 319

Standard library for linear types in Haskell.

Checklist ⭐ 307

The Haskell performance checklist

Singletons ⭐ 279

Fake dependent types in Haskell using singletons

Higgledy ⭐ 167

Higher-kinded data via generics

Ghc Hotswap ⭐ 163

Example code for how we swap compiled code within a running Haskell process.

A re-implementation of weeder using HIE files

Dimensional ⭐ 94

Dimensional library variant built on Data Kinds, Closed Type Families, TypeNats (GHC 7.8+).

Schematic ⭐ 79

type-safe JSON spec and validation tool

Typelevel Rewrite Rules ⭐ 62

rewrite rules for type-level equalities

Constraint Unions ⭐ 57

A syntax for unions of constraints in Haskell

Learn Me A Haskell ⭐ 56

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

Exploring how to make a strict imperative universe in the GHC runtime system.

Safe Streaming ⭐ 46

Adaptation of the streaming library for increased safety through linear types. Summer of Haskell 2017 project.

Typeparams ⭐ 44

Lens-like interface for type level parameters; allows unboxed unboxed vectors and supercompilation

Ghc Typelits Natnormalise ⭐ 39

Normalise GHC.TypeLits.Nat equations

a modern library for typed path manipulation in Haskell

Coxswain ⭐ 35

A GHC type checker plugin for row types

Strictcore ⭐ 35

An experimental intermediate language for GHC

Existential type.

Make presentations for data types

Linear Examples ⭐ 22

Example uses of linear types

Tapl Haskell ⭐ 21

Types and Programming Languages

Generic Recursion Schemes ⭐ 21

Folds for recursive types with GHC Generics

Ghci Hexcalc ⭐ 21

Haskell/GHCi as a Hex-Calculator interactive

Ghc Server ⭐ 20

A server interface to GHC.

Th Desugar ⭐ 20

Desugars Template Haskell abstract syntax to a simpler format without changing semantics

The Thoralf Plugin ⭐ 20

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

Tools for functors from Hask^k to Hask

Fusion Plugin ⭐ 16

GHC plugin to make stream fusion more predictable

Yesod Servant Example ⭐ 16

Example of embedding Servant within a Yesod Application

Ghc Typelits Extra ⭐ 16

Extra type-level operations on GHC.TypeLits.Nat and a custom solver

Typelits Printf ⭐ 15

Type-safe printf from parsing GHC TypeLits Symbol

Ghc Typelits Knownnat ⭐ 14

Derive KnownNat constraints from other KnownNat constraints

Coremlir ⭐ 14

Encoding of GHC Core inside MLIR

Constraints Deriving ⭐ 12

Programmatically create new instances using core-to-core plugins

Generic Monoid ⭐ 11

Deriving Semigroup and Monoid instances for your product types

Stm Chans ⭐ 10

Additional types of channels for STM.

Ghc Tcplugins Extra ⭐ 10

Utilities for writing GHC type-checker plugins

Type Lambda ⭐ 9

First-class type-level functions

Magic Typelevel Elem ⭐ 9

Demonstrating how to make type families faster using typechecker plugins

Base Orphans ⭐ 8

Backwards-compatible orphan instances for base

Reflex Backpack ⭐ 8

Reflex with Backpack

Coercible Subtypes ⭐ 7

An experimental libray for non-symmetric safe coercion

Typed Encoding ⭐ 6

Type safe string restrictions and transformations

Ghc Typelits Symbols ⭐ 6

Additional operations for GHC's type-level symbols

Hs Exceptions ⭐ 6

Presentation on errors and exceptions in Haskell

Data Diff ⭐ 5

Derivable diffing and patching on arbitrary data types using GHC Generics

Gadts Talk ⭐ 5

Materials for HaskellDC talk on GADTs

Ghc Language Plugin ⭐ 5

Generic Maybe ⭐ 5

A generic version of Data.Maybe

Related Searches

Javascript Types (8,178)

Typescript Types (2,606)

Python Types (2,536)

Php Types (1,921)

Java Types (1,598)

Haskell Ghc (1,282)

C Plus Plus Types (1,282)

Golang Types (1,257)

C Sharp Types (1,177)

Plugin Types (1,152)

1-19 of 19 search results

Privacy | About | Terms | Follow Us On Twitter

Copyright 2018-2024 Awesome Open Source. All rights reserved.