Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

Dth

Examples of Dependently-typed programs in Haskell
Stars
286
License
mit
Open Issues
0
Most Recent Commit
2 years ago
Programming Language
Haskell
Categories
Repo
Alternatives To Dth
Select To Compare
Shapeless ⭐ 3,349
Generic programming for Scala
dependent packages 721total releases 11most recent commit 3 months ago
Http4s ⭐ 2,482
A minimal, idiomatic Scala interface for HTTP
dependent packages 147total releases 165most recent commit 3 months ago
Doobie ⭐ 2,106
Functional JDBC layer for Scala.
dependent packages 99total releases 75most recent commit 3 months ago
Monix ⭐ 1,916
Asynchronous, Reactive Programming for Scala and Scala.js.
dependent packages 159total releases 61most recent commit 5 months ago
Refined ⭐ 1,664
Refinement types for Scala
dependent packages 170total releases 46most recent commit 3 months ago
Skunk ⭐ 1,546
A data access library for Scala + Postgres.
dependent packages 12total releases 17most recent commit 6 days ago
Frameless ⭐ 869
Expressive types for Spark.
dependent packages 21total releases 9most recent commit 4 days ago


Suggest An Alternative To dth
Popular Compilers Categories
Llvm
Abstract Syntax Tree
Gcc
Clang
Emscripten
Wsl
Lexer
Jit
Ghc
Ida
Related Searches
Types Haskell
Haskell Dependent Types
Types Typelevel
Haskell Typelevel

Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Types
Haskell
Dependent Types
Typelevel
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.