Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 13 Purescript Typelevel Open Source Projects

Open source projects categorized as Purescript Typelevel
Categories > Compilers > Typelevel
Purescript Simple Json ⭐ 132
A simple Purescript JSON library that uses types automatically
most recent commit a year ago
Purescript Typelevel Prelude ⭐ 62
Types and kinds for basic type-level programming
most recent commit 2 years ago
Purescript Milkis ⭐ 47
A Purescript library for working with fetch for HTTP requests
most recent commit 2 years ago
Purescript Typelevel Eval ⭐ 37
Higher order functional programming in PureScript's type system
most recent commit 2 years ago
Purescript Typelevel ⭐ 30
Type level natural numbers and booleans
most recent commit 5 years ago
Purescript Sized Vectors ⭐ 17
Idris style sized vectors in PureScript
most recent commit 3 years ago
Purescript Kushiyaki ⭐ 9
A library for PureScript 0.12 using Record-Format to parse urls with a template.
most recent commit 6 years ago
Purescript Biang ⭐ 8
A library for converting generic reps of Sum and Product to row types, for whatever convenient usage needs at the type level.
most recent commit 6 years ago
Purescript Typelevel Measures ⭐ 8
Typesafe Units of Measure for PureScript with simplification and inference
most recent commit 2 years ago
Purescript Typelevel Parser ⭐ 8
Typelevel parser that allows DSTs to become types
most recent commit 4 years ago
Purescript Kushikatsu ⭐ 7
Simple routing with Kushiyaki.
most recent commit 6 years ago
Purescript Jajanmen ⭐ 7
Cool type-safe Symbol query parameterized helper for Node-SQLite3
most recent commit 5 years ago
Purescript Type Isequal ⭐ 5
Type equality check returning a Boolean kind. Useful for type-level programming.
most recent commit 4 years ago
The 10 Latest Releases In Purescript Typelevel Open Source Projects
Purescript Typelevel Prelude ⭐ 62
Types and kinds for basic type-level programming
latest release May 22, 2018most recent commit 2 years ago
Purescript Milkis ⭐ 47
A Purescript library for working with fetch for HTTP requests
latest release April 03, 2018most recent commit 2 years ago
Purescript Sized Vectors ⭐ 17
Idris style sized vectors in PureScript
latest release October 23, 2016most recent commit 3 years ago
Purescript Typelevel ⭐ 30
Type level natural numbers and booleans
latest release October 23, 2016most recent commit 5 years ago
Popular Programming Languages Categories
Python
Javascript
Java
Typescript
C Plus Plus
Php
Golang
C
C Sharp
Shell
Categories
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.