Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for dependent types type level programming
dependent-types
x
type-level-programming
x
4 search results found
Mezzo
⭐
315
A Haskell library for typesafe music composition
Learn Me A Haskell
⭐
56
Trying to get back all the stuff I had in JavaScript.
Feature.scala
⭐
27
Access Scala language features on the type-level
Ghc Typelits Presburger
⭐
6
Presburger arithmetic solver for built-in type-level naturals
Related Searches
Haskell Dependent Types (62)
Language Dependent Types (33)
Types Type Level Programming (18)
Scala Dependent Types (17)
Typescript Type Level Programming (13)
Haskell Type Level Programming (12)
Scala Type Level Programming (8)
Typelevel Type Level Programming (8)
Rust Type Level Programming (4)
Ghc Dependent Types (4)
1-4 of 4 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.