Awesome Open Source

Programming Languages

Search results for types haskell

789 search results found

Frege ⭐ 3,562

Frege is a Haskell for the JVM. It brings purely functional programing to the Java platform.

Write You A Haskell ⭐ 2,744

Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)

Lamdu ⭐ 1,834

lamdu - towards the next generation IDE

The Lux Programming Language

Hackett ⭐ 982

WIP implementation of a Haskell-like Lisp in Racket

Ltupatternfactory ⭐ 958

Lambda the ultimate Pattern Factory: FP, Haskell, Typeclassopedia vs Software Design Patterns

Optparse Applicative ⭐ 872

Applicative option parser

Haskell Resources ⭐ 824

A List of Foundational Haskell Papers

Haskell API search engine

🌀 Safe, performant, user-friendly and lightweight Haskell standard library

Haskell language features and standard libraries in pure Python.

Functional programming with fewer indirections

Haskell Study Plan ⭐ 611

An opinionated list of resources for learning Haskell

Cubicaltt ⭐ 547

Experimental implementation of Cubical Type Theory

Ghcmod Vim ⭐ 439

Happy Haskell programming on Vim, powered by ghc-mod

Thinking With Types ⭐ 433

📖 source material for Thinking with Types

Morpheus Graphql ⭐ 381

Haskell GraphQL Api, Client and Tools

Compiler ⭐ 380

Elm compiler written in Elm

Efficient Haskell Arrays featuring Parallel computation

Fp Resources ⭐ 350

Functional programming great resources

Squeal, a deep embedding of SQL in Haskell

Infernu ⭐ 318

Type inference and checking for a safer JavaScript.

Linear Base ⭐ 313

Standard library for linear types in Haskell.

Checklist ⭐ 307

The Haskell performance checklist

Expresso ⭐ 293

A simple expressions language with polymorphic extensible row types.

A reference library for constraint-solving with propagators and CDCL.

Examples of Dependently-typed programs in Haskell

Singletons ⭐ 280

Fake dependent types in Haskell using singletons

Fast image IO and transformations.

Data frames for tabular data.

Awesome Idris ⭐ 262

𝛌 Awesome Idris resources

Fireward ⭐ 230

A concise and readable language for Firestore security rules, similar to Firebase Bolt.

Pretty Simple ⭐ 226

pretty-printer for Haskell data types that have a Show instance

A TypeScript result type taking cues from Rust's Result and Haskell's Either types

Unordered Containers ⭐ 222

Efficient hashing-based container types

Dependent type checker using normalisation by evaluation

Owlcloud ⭐ 211

OwnCloud for owls done via The Microservice Architecture

Capability ⭐ 211

Extensional capabilities and deriving combinators

Selective ⭐ 203

Selective Applicative Functors: Declare Your Effects Statically, Select Which to Execute Dynamically

Your favourite Haskell type classes for Rust

A typed, polyglot, functional language

Esqueleto ⭐ 178

Bare bones, type-safe EDSL for SQL queries on persistent backends.

Maryamyriameliamurphies.js ⭐ 177

A library of Haskell-style morphisms ported to ES2015 JavaScript using Babel.

Refined ⭐ 174

Refinement types with static checking

Glambda ⭐ 168

The home of the Glamorous Glambda interpreter

Higgledy ⭐ 167

Higher-kinded data via generics

Extensible Effects ⭐ 166

Extensible Effects: An Alternative to Monad Transformers

Universum ⭐ 164

🌌 Prelude written in @Serokell

Ghc Hotswap ⭐ 163

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

Generics Sop ⭐ 155

Generic Programming using True Sums of Products

Coq Haskell ⭐ 153

A library for formalizing Haskell types and functions in Coq

A re-implementation of weeder using HIE files

Discrimination ⭐ 132

Fast linear time sorting and discrimination for a large class of data types

Haskell-C++ Foreign Function Interface Generator

A Super Kawaii Dependently Typed Programming Language

Type_class ⭐ 129

(Semi-)principled type classes for Elixir

Typed Wire ⭐ 124

Language independent type-safe communication

Caledon ⭐ 121

higher order dependently typed logic programing

Cubical ⭐ 119

Implementation of Univalence in Cubical Sets

Type Of Html ⭐ 118

High performance type safe html generation

Paskell ⭐ 118

A Pascal to LLVM compiler in Haskell

Elm Export ⭐ 117

Create Elm types and JSON decoders from Haskell source.

Hgeometry ⭐ 113

HGeometry is a library for computing with geometric objects in Haskell. It defines basic geometric types and primitives, and it implements some geometric data structures and algorithms. The main two focusses are: (1) Strong type safety, and (2) implementations of geometric algorithms and data structures that have good asymptotic running time guarantees.

Tomland ⭐ 112

🏝 Bidirectional TOML serialization

Deriving Aeson ⭐ 108

Scrap your hand-rolled aeson instances

Haskellresources ⭐ 108

Compilation of useful resources for learning Haskell

Purescript Bridge ⭐ 107

Create PureScript datatypes from Haskell datatypes

Typedraw ⭐ 105

Visually describe Haskell/Purescript/Elm types

Typed Process ⭐ 104

Alternative API for processes, featuring more type safety

Hypertypes ⭐ 104

Hypertypes - generic programming for heterogeneous recursive types

Hssqlppp ⭐ 104

sql parser and type checker in haskell

Elm Bridge ⭐ 101

Haskell: Derive Elm types from Haskell types

Exference ⭐ 98

Haskell tool to generate expressions from types

Versioning ⭐ 98

Type-safe data versioning.

Lasca Compiler ⭐ 97

Lasca is Scala shifted towards Haskell.

Row Types ⭐ 97

A Haskell library for open records and variants using closed type families and type literals

Validation ⭐ 95

A data-type like Either but with an accumulating Applicative

Wiwinwl Purescript ⭐ 94

What I Wish I Knew When Learning PureScript

Dimensional ⭐ 94

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

Typerep Map ⭐ 93

⚡️Efficient implementation of Map with types as keys

A fast open-union type, suitable for 100+ contained alternatives.

Miniagda ⭐ 91

A prototypical dependently typed languages with sized types and variances

Kotlin Monads ⭐ 91

Monads for Kotlin

Void Space ⭐ 89

Well-Typed Typing Tutor where you Type Types... in space... yup, you heard me

The Ntha Programming Language

Type-safe effectful state machines in Haskell

Typed Fp Good Reads ⭐ 87

📚 List of useful resources to learn typed FP

Haskell Capnp ⭐ 85

Cap'n Proto for Haskell

Elm Street ⭐ 85

🌳 Crossing the road between Haskell and Elm

Compdata ⭐ 85

Haskell library implementing "Data Types a la Carte"

Purescript Tsd Gen ⭐ 82

TypeScript Declaration File (.d.ts) generator for PureScript

Haskell Avro Encoding and Decoding Native Support (no RPC)

Sound And Complete ⭐ 81

An implementation of the Dunfield-Krishnaswami "Sound and Complete" type-system

Linear Algebra of Programming - Algebraic Matrices in Haskell

Schematic ⭐ 79

type-safe JSON spec and validation tool

A lambda calculus to explore type-directed program synthesis.

First Class Families ⭐ 76

First-class type families

Related Searches

Es6 Javascript Types (8,157)

Javascript Types (8,103)

Typescript Types (2,606)

Python Types (2,536)

Php Types (1,919)

Java Types (1,598)

Haskell Ghc (1,289)

C Plus Plus Types (1,282)

Go Types (1,257)

Node Types (1,176)

1-100 of 789 search results

Privacy | About | Terms | Follow Us On Twitter

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