Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for haskell type system
haskell
x
type-system
x
27 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/)
Oden
⭐
738
The Oden Programming Language (NO LONGER IN ACTIVE DEVELOPMENT)
Morloc
⭐
190
A typed, polyglot, functional language
Sound And Complete
⭐
81
An implementation of the Dunfield-Krishnaswami "Sound and Complete" type-system
Computational Algebra
⭐
81
General-Purpose Computer Algebra System as an EDSL in Haskell
Pragmatic Type Level Design
⭐
51
Code and materials for my book "Pragmatic Type Level Design"
Typechecker Evolution
⭐
44
The Evolution of a Typechecker
Type Theory Compiler
⭐
38
Compiler for type theoretic lambda calculi equipped with system primtives which compiles side-effecting, strict expressions into efficient LLVM IR.
Quiverjs
⭐
37
Functional programming for the web
Tandoori
⭐
30
Compositional type checking for Haskell
Ikko
⭐
26
Ikko language
Refl
⭐
22
Provides a Refl encoding in Rust
Ixset Typed
⭐
21
More strongly typed variant of the ixset Haskell package
Zeolite
⭐
18
Zeolite is a statically-typed, general-purpose programming language.
Typed Egison
⭐
16
Cbpv
⭐
15
A usable type system for call by push-value
Commutative
⭐
14
Using Haskell's type system to guarantee commutativity.
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.
Catt
⭐
13
Coherence typechecker for Grothendieck/Maltsiniotis style infinity categories
Kite
⭐
11
A Haskell-like language for scripting and web apps
Typescript Types Script
⭐
9
for the lolz compiler to perform arbitrary computation in TS type system
Elara
⭐
9
Elara is a purely-functional programming language targetting the JVM
Mscprojectpublic
⭐
6
Masters Thesis, University of Oxford. Research project combining Calculating Compilers and Algebraic Effects using Haskell, supervised by Jeremy Gibbons. Presented work at the International Conference on Functional Programming Student Research Competition and the 7th South of England Regional Programming Languages Seminar.
Henk
⭐
6
pure type system language - henk 2000 ported to megaparsec, pretty
Elm Server
⭐
5
A web server written in Elm + Deno
Binal1
⭐
5
Related Searches
Haskell Ghc (1,289)
Types Haskell (1,026)
Language Haskell (853)
Haskell Functional Programming (793)
Haskell Monad (681)
Haskell Hackage (574)
Haskell Stack (554)
Haskell Programming (549)
Haskell Bindings (444)
Javascript Haskell (398)
1-27 of 27 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.