Idris

A language with dependent types

OTHER License

Stars
7
View Code on GitHub Visit Website View on X
Ecosystems: Haskell

No README available, please check again later.

Related Projects
Ivor

A type theory based theorem proving library

28 Apr 2010 11
typecraft

it's a starcraft clone but with a dope typesystem

14 Oct 2017 47
fmlist

FoldMap lists

02 May 2011 12
holz

(Un)abstract graphics library

18 May 2015 8
language-thrift

Haskell parser for the Thrift IDL format.

05 Apr 2015 8
generics-mrsop-diff

Typesafe structural diffing of haskell datratypes using generics

08 Mar 2018 9
avers

A model abstraction library

25 Oct 2016 4
language-haskell-ast

Generic interface over the AST provided by haskell-src-exts

28 Aug 2016 5
coatl

silly dependently-typed language

13 Aug 2013 2
hascalam

Haskell to and from Scalameta

30 May 2024 0
lambdascript

Ugly prototype language for strongly typed, lazy, purely functional client side web scripting

12 Nov 2010 25
generics-mrsop-graphviz

Visualization of haskell datatypes

06 Jun 2018 8
shellmate

Write type-safe shell scripts in Haskell

26 Jan 2014 14
thih

typing haskell in haskell

18 Sep 2022 13
hskit

luakit but in haskell

05 May 2019 8