Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 23 Haskell Type System Open Source Projects

Open source projects categorized as Haskell Type System
Categories > Type System
Frege ⭐ 3,562
Frege is a Haskell for the JVM. It brings purely functional programing to the Java platform.
total releases 3most recent commit 2 years ago
Write You A Haskell ⭐ 2,744
Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)
most recent commit 5 years ago
Oden ⭐ 738
The Oden Programming Language (NO LONGER IN ACTIVE DEVELOPMENT)
most recent commit 7 years ago
Morloc ⭐ 190
A typed, polyglot, functional language
most recent commit 3 months ago
Sound And Complete ⭐ 81
An implementation of the Dunfield-Krishnaswami "Sound and Complete" type-system
most recent commit 6 years ago
Computational Algebra ⭐ 81
General-Purpose Computer Algebra System as an EDSL in Haskell
total releases 19most recent commit 2 years ago
Pragmatic Type Level Design ⭐ 51
Code and materials for my book "Pragmatic Type Level Design"
most recent commit 3 months ago
Typechecker Evolution ⭐ 44
The Evolution of a Typechecker
most recent commit 5 years ago
Type Theory Compiler ⭐ 38
Compiler for type theoretic lambda calculi equipped with system primtives which compiles side-effecting, strict expressions into efficient LLVM IR.
most recent commit 5 years ago
Quiverjs ⭐ 37
Functional programming for the web
most recent commit 6 years ago
Tandoori ⭐ 30
Compositional type checking for Haskell
most recent commit 13 years ago
Ikko ⭐ 26
Ikko language
most recent commit 4 years ago
Refl ⭐ 22
Provides a Refl encoding in Rust
total releases 6most recent commit 4 years ago
Ixset Typed ⭐ 21
More strongly typed variant of the ixset Haskell package
total releases 13most recent commit 2 years ago
Zeolite ⭐ 18
Zeolite is a statically-typed, general-purpose programming language.
total releases 46most recent commit 3 months ago
Typed Egison ⭐ 16
most recent commit 5 years ago
Cbpv ⭐ 15
A usable type system for call by push-value
most recent commit 4 years ago
Commutative ⭐ 14
Using Haskell's type system to guarantee commutativity.
most recent commit 11 years ago
Atomo Old ⭐ 13
A concurrent, object-oriented, functional programming language with a very strong type system. NOTE: Not to be confused with http://atomo-lang.org/ - same author, very different language; this one's dead.
most recent commit 15 years ago
Catt ⭐ 13
Coherence typechecker for Grothendieck/Maltsiniotis style infinity categories
most recent commit 7 years ago
Kite ⭐ 11
A Haskell-like language for scripting and web apps
most recent commit a year ago
Typescript Types Script ⭐ 9
for the lolz compiler to perform arbitrary computation in TS type system
most recent commit 4 years ago
Elara ⭐ 9
Elara is a purely-functional programming language targetting the JVM
most recent commit 3 months ago
The 6 Latest Releases In Haskell Type System Open Source Projects
Zeolite ⭐ 18
Zeolite is a statically-typed, general-purpose programming language.
total releases 46latest release October 08, 2022most recent commit 3 months ago
Ixset Typed ⭐ 21
More strongly typed variant of the ixset Haskell package
total releases 13latest release May 15, 2022most recent commit 2 years ago
Morloc ⭐ 190
A typed, polyglot, functional language
latest release November 08, 2020most recent commit 3 months ago
Refl ⭐ 22
Provides a Refl encoding in Rust
total releases 6latest release February 24, 2020most recent commit 4 years ago
Computational Algebra ⭐ 81
General-Purpose Computer Algebra System as an EDSL in Haskell
total releases 19latest release December 07, 2017most recent commit 2 years ago
Frege ⭐ 3,562
Frege is a Haskell for the JVM. It brings purely functional programing to the Java platform.
total releases 3latest release June 27, 2016most recent commit 2 years ago
Popular Programming Languages Categories
Python
Javascript
Java
Typescript
C Plus Plus
Php
Golang
C
C Sharp
Shell
Categories
Privacy | About | Terms | Follow Us On Twitter

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

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