Awesome Open Source

Programming Languages

Search results for haskell type checking

type-checking x

7 search results found

Write You A Haskell ⭐ 2,744

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

Agda is a dependently typed programming language / interactive theorem prover.

Datagraph ⭐ 121

A framework for program analysis with a focus on modeling programmer assumptions, context- and path-sensitive analyses, and type checking.

The library FDR3 uses for parsing, type checking and evaluating machine CSP.

Lambdacalculusinterpreters ⭐ 6

Two interpreters for the lambda calculus: one simple and one with typing of ints, bools, and pairs.

👨‍💻 Implementing System T in Haskell 👨‍💻

Kdb Haskell ⭐ 6

kdb+ client library in Haskell

Related Searches

Haskell Ghc (1,289)

Types Haskell (1,021)

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-7 of 7 search results

Privacy | About | Terms | Follow Us On Twitter

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