Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 23 Types Haskell Open Source Projects

Open source projects categorized as Types Haskell
Frege ⭐ 3,562
Frege is a Haskell for the JVM. It brings purely functional programing to the Java platform.
total releases 3most recent commit 6 months ago
Write You A Haskell ⭐ 2,744
Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)
most recent commit 3 years ago
Lamdu ⭐ 1,818
lamdu - towards the next generation IDE
most recent commit 13 days ago
Lux ⭐ 1,513
The Lux Programming Language
dependent packages 1total releases 6most recent commit a day ago
Hackett ⭐ 982
WIP implementation of a Haskell-like Lisp in Racket
most recent commit 3 years ago
Haskell Resources ⭐ 824
A List of Foundational Haskell Papers
most recent commit 10 months ago
Optparse Applicative ⭐ 813
Applicative option parser
total releases 43most recent commit 5 months ago
Ltupatternfactory ⭐ 805
Lambda the ultimate Pattern Factory: FP, Haskell, Typeclassopedia vs Software Design Patterns
most recent commit a year ago
Relude ⭐ 651
🌀 Safe, performant, user-friendly and lightweight Haskell standard library
total releases 11most recent commit 13 days ago
Hoogle ⭐ 644
Haskell API search engine
total releases 95most recent commit 4 months ago
Hask ⭐ 637
Haskell language features and standard libraries in pure Python.
total releases 2most recent commit 5 years ago
Sixten ⭐ 632
Functional programming with fewer indirections
most recent commit 3 years ago
Haskell Study Plan ⭐ 611
An opinionated list of resources for learning Haskell
most recent commit a year ago
Cubicaltt ⭐ 441
Experimental implementation of Cubical Type Theory
most recent commit 2 years ago
Ghcmod Vim ⭐ 439
Happy Haskell programming on Vim, powered by ghc-mod
most recent commit 5 years ago
Thinking With Types ⭐ 433
📖 source material for Thinking with Types
most recent commit 17 days ago
Graphql Api ⭐ 403
Write type-safe GraphQL services in Haskell
total releases 4most recent commit 3 years ago
Morpheus Graphql ⭐ 379
Haskell GraphQL Api, Client and Tools
total releases 43most recent commit 2 days ago
Compiler ⭐ 372
Elm compiler written in Elm
total releases 2most recent commit a month ago
Massiv ⭐ 371
Efficient Haskell Arrays featuring Parallel computation
total releases 51most recent commit 11 days ago
Fp Resources ⭐ 350
Functional programming great resources
most recent commit 3 years ago
Squeal ⭐ 329
Squeal, a deep embedding of SQL in Haskell
total releases 25most recent commit 4 months ago
Infernu ⭐ 318
Type inference and checking for a safer JavaScript.
total releases 2most recent commit 4 years ago
The 5 Most Depended On Types Haskell Open Source Projects
Result ⭐ 125
A TypeScript result type taking cues from Rust's Result and Haskell's Either types
dependent packages 5total releases 12latest release May 05, 2022most recent commit 4 months agonpm @badrap/result} Downloads
Type_class ⭐ 129
(Semi-)principled type classes for Elixir
dependent packages 5total releases 18latest release January 23, 2022most recent commit a year agohex type_class} Downloads
Higher ⭐ 180
Your favourite Haskell type classes for Rust
dependent packages 3total releases 3latest release January 18, 2023most recent commit 2 months agocargo higher-derive} Downloads
Maryamyriameliamurphies.js ⭐ 177
A library of Haskell-style morphisms ported to ES2015 JavaScript using Babel.
dependent packages 1total releases 15latest release July 25, 2016most recent commit 6 years agonpm maryamyriameliamurphies} Downloads
Lux ⭐ 1,513
The Lux Programming Language
dependent packages 1total releases 6latest release November 03, 2021most recent commit a day ago
The 10 Latest Releases In Types Haskell Open Source Projects
Universum ⭐ 165
:milky_way: Prelude written in @Serokell
total releases 43latest release February 21, 2023most recent commit a month ago
Higher ⭐ 180
Your favourite Haskell type classes for Rust
dependent packages 3total releases 3latest release January 18, 2023most recent commit 2 months agocargo higher-derive} Downloads
Linear Base ⭐ 307
Standard library for linear types in Haskell.
total releases 3latest release October 26, 2022most recent commit 6 days ago
Morpheus Graphql ⭐ 379
Haskell GraphQL Api, Client and Tools
total releases 43latest release October 25, 2022most recent commit 2 days ago
Pretty Simple ⭐ 226
pretty-printer for Haskell data types that have a Show instance
total releases 34latest release October 15, 2022most recent commit 5 days ago
Refined ⭐ 169
Refinement types with static checking
total releases 24latest release October 09, 2022most recent commit 5 months ago
Singletons ⭐ 278
Fake dependent types in Haskell using singletons
total releases 34latest release August 23, 2022most recent commit 4 days ago
Hackett ⭐ 982
WIP implementation of a Haskell-like Lisp in Racket
latest release July 16, 2022most recent commit 3 years ago
Avro ⭐ 83
Haskell Avro Encoding and Decoding Native Support (no RPC)
total releases 53latest release July 12, 2022most recent commit 4 months ago
Dimensional ⭐ 94
Dimensional library variant built on Data Kinds, Closed Type Families, TypeNats (GHC 7.8+).
total releases 31latest release June 22, 2022most recent commit a month ago
Popular Programming Languages Categories
Javascript
Python
Java
Typescript
Php
C Plus Plus
Ruby
C
Shell
C Sharp
Categories
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

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