purescript/purescript-exists purescript/purescript-exists

  • Stars
    star
    33
  • Rank 783,877 (Top 16 %)
  • Language PureScript
  • License
    BSD 3-Clause "New...
  • Created over 10 years ago
  • Updated almost 2 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
purescript/purescript-exists
github

purescript

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Existential types as a library

More Repositories

1

purescript

A strongly-typed language that compiles to JavaScript
Haskell
8,420
star
2

documentation

Documentation for the PureScript language, compiler, and tools.
1,027
star
3

spago

🍝 PureScript package manager and build tool
PureScript
783
star
4

psc-package

A package manager for PureScript based on package sets
Haskell
227
star
5

package-sets

PureScript packages for Spago and Psc-Package
Dhall
195
star
6

pursuit

Website for hosting and searching PureScript API documentation
Haskell
169
star
7

purescript-prelude

The PureScript Prelude
PureScript
160
star
8

trypurescript

PureScript in the browser
PureScript
120
star
9

purescript-quickcheck

An implementation of QuickCheck in PureScript
PureScript
102
star
10

registry-dev

Development work related to the PureScript Registry
PureScript
96
star
11

purescript-free

Free monads, Cofree comonads, Yoneda and Coyoneda functors, and the Trampoline monad.
PureScript
93
star
12

purescript-record

Functions for working with records and polymorphic labels
PureScript
70
star
13

purescript-transformers

Monad and comonad transformers
PureScript
69
star
14

purescript-foreign

Library for dealing with foreign data (JavaScript objects) in PureScript
PureScript
63
star
15

purescript-typelevel-prelude

Types and kinds for basic type-level programming
PureScript
63
star
16

purescript-in-purescript

PureScript compiler written in PureScript (On hold / inactive)
PureScript
60
star
17

purescript-arrays

Array utility functions
PureScript
58
star
18

purescript-lists

Linked Lists
PureScript
57
star
19

purescript-control

Common control classes and utility functions
PureScript
56
star
20

purescript-strings

String utility functions, Char type, regular expressions.
PureScript
54
star
21

purescript-effect

The Effect monad, for handling native side effects
PureScript
53
star
22

purescript-datetime

Date and time library for PureScript.
PureScript
50
star
23

purescript-foldable-traversable

Classes for foldable and traversable data structures
PureScript
50
star
24

purescript-validation

Applicative-style validation
PureScript
47
star
25

purescript-parallel

Classes for parallel composition and racing of asynchronous computations
PureScript
43
star
26

registry

Registry of PureScript packages and metadata about them
42
star
27

purescript-tailrec

A type class which captures stack-safe monadic tail recursion
PureScript
37
star
28

purescript-ordered-collections

Purely functional map and set data structures
PureScript
36
star
29

purescript.github.io

Project Homepage
HTML
35
star
30

purescript-profunctor

Profunctor type classes and data structures
PureScript
33
star
31

purescript-lazy

Call-by-need values
PureScript
30
star
32

survey

Home for the State of PureScript annual survey
Haskell
29
star
33

purescript-foreign-object

Functions for working with homogeneous JavaScript objects
PureScript
29
star
34

purescript-either

Values with two possibilities
PureScript
26
star
35

purescript-filterable

Classes for filterable and witherable data structures
PureScript
25
star
36

purescript-st

The ST effect, for safe local mutation
PureScript
25
star
37

purescript-tuples

Tuple data type and utility functions
PureScript
25
star
38

purescript-docs-search

Search frontend for the documentation generated by the PureScript compiler
PureScript
24
star
39

purescript-graphs

Purely functional graph data structure
PureScript
24
star
40

purescript-console

Console-related functions
PureScript
23
star
41

purescript-refs

Mutable value references
PureScript
21
star
42

governance

21
star
43

roadmap

Long-term projects not covered by other issues lists
20
star
44

purescript-catenable-lists

Catenable lists
PureScript
19
star
45

purescript-safe-coerce

Library support for the compiler-builtin Coercible type class.
PureScript
19
star
46

purescript-functions

Function combinators and types for multi-argument functions
PureScript
18
star
47

purescript-maybe

Optional values
PureScript
18
star
48

purescript-integers

Functions and bitwise operators for the Int numeric type
PureScript
18
star
49

purescript-json

Standard types and basic operations for working with JSON
PureScript
17
star
50

purescript-nonempty

A generic non-empty data structure
PureScript
17
star
51

purescript-type-equality

Type equality constraints
PureScript
16
star
52

purescript-exceptions

Exception effects
PureScript
16
star
53

purescript-assert

Basic assertions library for low level testing
PureScript
16
star
54

purescript-newtype

Type class and functions for working with newtypes
PureScript
15
star
55

purescript-random

Random number generation
PureScript
15
star
56

purescript-unfoldable

Unfoldable functors
PureScript
15
star
57

purescript-partial

Utilities for working with partial functions
PureScript
14
star
58

purescript-minibench

A minimal benchmarking library
PureScript
14
star
59

purescript-functors

Functor products, coproducts, and composition
PureScript
13
star
60

purescript-numbers

Functions for working with PureScripts 'Number' type
PureScript
13
star
61

purescript-const

Const data type and typeclass instances
PureScript
12
star
62

purescript-bifunctors

Bifunctors and biapplicatives
PureScript
12
star
63

purescript-contravariant

Contravariant functors
PureScript
10
star
64

purescript-enums

Operations for sequentially ordered types
PureScript
10
star
65

npm-installer

JavaScript
10
star
66

purescript-identity

Identity value
PureScript
10
star
67

registry-index

9
star
68

purescript-semirings

Semiring instances and functions
PureScript
9
star
69

purescript-unsafe-coerce

Unsafe coercion of values
PureScript
9
star
70

purescript-distributive

Distributive typeclass
PureScript
8
star
71

purescript-psci-support

Support module for the PSCI interactive mode
PureScript
8
star
72

purescript-gen

A type class for random generator implementations.
PureScript
8
star
73

purescript-invariant

Invariant functors
PureScript
7
star
74

pursuit-backups

A backup of Pursuit's documentation snapshots
5
star
75

purescript-lcg

A seeded pseudorandom number generator based on the linear congruential generator algorithm.
PureScript
4
star
76

gsoc

Google Summer of Code Projects
4
star
77

purescript-orders

Utilities for the Ord type class.
PureScript
4
star
78

purescript-metadata

Bogus package to add metadata to package-sets
Shell
2
star
79

infrastructure

ops things
Shell
1
star