Awesome Open Source

Programming Languages

Search results for types purescript

46 search results found

Flow Static Land ⭐ 418

[DEPRECATED, please check out fp-ts] Implementation of common algebraic types in JavaScript + Flow

Purescript React ⭐ 385

React Bindings for PureScript

Purescript Thermite ⭐ 340

A simple PureScript wrapper for React

Type-safe, statically checked composition of HTTP servers

Elm To Purescript Cheatsheet ⭐ 146

Purescript for Elm devs. 🚀

Purescript Halogen Formless ⭐ 132

Painless forms for Halogen

Purescript Simple Json ⭐ 132

A simple Purescript JSON library that uses types automatically

Awesome Dhall ⭐ 131

A curated list of awesome dhall-lang

Typed Wire ⭐ 124

Language independent type-safe communication

Purescript Bridge ⭐ 107

Create PureScript datatypes from Haskell datatypes

Typedraw ⭐ 105

Visually describe Haskell/Purescript/Elm types

Wiwinwl Purescript ⭐ 94

What I Wish I Knew When Learning PureScript

Purescript Selda ⭐ 89

A type-safe, high-level SQL library for PureScript

Purescript Tsd Gen ⭐ 88

TypeScript Declaration File (.d.ts) generator for PureScript

Typed Fp Good Reads ⭐ 87

📚 List of useful resources to learn typed FP

Type Signature Com ⭐ 84

Who Wants to Be a Millionaire - but with types

Purescript Routing Duplex ⭐ 80

Unified parsing and printing for routes in PureScript

Purescript Sparkle ⭐ 71

Infer user interfaces from type signatures

Compile PureScript into Haskell.

Purescript Typelevel Prelude ⭐ 62

Types and kinds for basic type-level programming

My Blog Posts ⭐ 59

my blog posts, about purescript, nix, rust, haskell, etc.

Purescript React Basic Native ⭐ 58

Purescript Checked Exceptions ⭐ 54

Extensible checked exceptions with polymorphic variants

Purescript Debugged ⭐ 51

Purescript Effect ⭐ 49

The Effect monad, for handling native side effects

Purescript Neon ⭐ 49

⚡️ A practical standard library for PureScript.

Purescript Heterogeneous ⭐ 48

Maps and folds for heterogeneous data types.

Purescript Argonaut Codecs ⭐ 48

JSON serialization and deserialization with Argonaut.

Purescript Ohyes ⭐ 48

A library for generating Typescript types that can be used transparently from Purescript.

Purescript Milkis ⭐ 47

A Purescript library for working with fetch for HTTP requests

Purescript Ctprelude ⭐ 46

A Prelude with names from category theory

Purescript Waterslide Rs ⭐ 43

Generate Purescript types from your Rust types. (unmaintained)

Purescript Derive Lenses ⭐ 42

A little utility to derive lenses and prisms for data types in PureScript

Purescript Argonaut Core ⭐ 42

A fast, native representation for JSON, with serialization and folding

Purescript Generics Rep ⭐ 41

Generic programming using an approach inspired by GHC.Generics

Purescript Refract ⭐ 39

Optical Purescript UI library based on React and the Elm architecture, but without the boilerplate.

Basiclambda ⭐ 37

An example of writing an AWS Lambda function in Purescript

Purescript Typelevel Eval ⭐ 37

Higher order functional programming in PureScript's type system

Purescript For Haskellers ⭐ 33

Some info that supposed to help to understand PureScript from Haskell perspective

Purescript Freedom ⭐ 30

A practical type-safe UI library for PureScript.

Purescript Typelevel ⭐ 30

Type level natural numbers and booleans

Purescript Pathy ⭐ 29

A type-safe abstraction for platform-independent file system paths.

Purescript Localstorage ⭐ 29

Access JS webstorage (local & session) in a typesafe and convenient way

Halogen Form ⭐ 28

Formlets for halogen

Purescript Exists ⭐ 27

Existential types as a library

Purescript Record Format ⭐ 24

Experimental record formatting from type-level format strings

Purescript Optlicative ⭐ 24

applicative opt parsing for node

Purescript Tuples ⭐ 24

Tuple data type and utility functions

Scala Pathy ⭐ 23

A type-safe abstraction for platform-independent file system paths.

Purescript Trout Client ⭐ 23

Automatically derived XHR clients for Trout routing types.

Lambda Buffers ⭐ 23

LambdaBuffers toolkit for sharing types and their semantics between different languages

Purescript Read Dts ⭐ 22

Provide a way to work with TypeScript types declarations

Purescript Argonaut Generic ⭐ 20

Generic encoding and decoding functions for data types with a Generic.Rep instance

Purescript Undefined Is Not A Problem ⭐ 20

Handling optional record fields through `undefined | a` values and typesafe zero cost coercion

Purescript Refined ⭐ 19

Purescript refinement types with runtime checking

Purescript Typeable ⭐ 19

Reified types for Purescript

Purescript Type Lang ⭐ 19

Lambda calculus at the type level.

Purescript Bismuth ⭐ 18

A library for generating flow type signatures for direct interop between PureScript and Flow. Similar to OhYes

Purescript Functions ⭐ 18

Function combinators and types for multi-argument functions

Purescript Options ⭐ 18

Types and functions for dealing with JavaScript options objects

Purescript Memoize ⭐ 18

Type classes for creating memoized functions

Purescript Safe Coerce ⭐ 16

Library support for the compiler-builtin Coercible type class.

Purescript Slug ⭐ 16

Type-safe slugs for PureScript

Purescript Servant ⭐ 15

a servant like DSL for templating requests

Purescript Sequelize ⭐ 15

Purescript wrapper for Sequelize - http://docs.sequelizejs.com/

Purescript Newtype ⭐ 14

Type class and functions for working with newtypes

Purescript Js Date ⭐ 14

JavaScript's native date type and corresponding functions.

Purescript Lens Examples ⭐ 12

Purescript Generics Rep Optics ⭐ 12

Generating optics for generic data types.

Purescript Now ⭐ 12

Effect type and functions for accessing the current machine's date and time.

Purescript Formless Independent ⭐ 11

Formless library, Independent of any UI Framework dependencies

Purescript Erl Process ⭐ 10

purerl bindings to basic Erlang process functionality

Purescript Node Buffer ⭐ 10

Type declarations for Node's Buffer class

Purescript Argonaut Traversals ⭐ 10

Prisms, traversals, and zipper for the Argonaut Json type.

Purescript Partial ⭐ 9

Utilities for working with partial functions

Purescript Fixed Precision ⭐ 9

Fixed precision arithmetic tracked in the types

Purescript Ps Cst ⭐ 9

Purescript code printer, inspired by official purescript-cst types https://hackage.haskell.org/package/purescript/doc

Purescript Tagged Sum ⭐ 9

A variant data type made for compatibility with Aeson

Purescript Formatting ⭐ 9

A type-safe, composable, printf-alternative for PureScript.

Lambdaconf ⭐ 9

LambdaConf Notes

Purescript Alexa ⭐ 8

Types and helper functions for writing Alexa skills in purescript

Purescript Kishimen ⭐ 8

Sum types with Generics-Rep instances to Variant for free!

Funcstream ⭐ 8

Documenting the process of learning Haskell and functional programming

Purescript Web Fetch ⭐ 8

Types and low-level implementations for the Fetch API

Purescript Nodetrout ⭐ 8

Build a Node HTTP server with Trout.

Purescript Eff Functions ⭐ 8

Types for javascript-style effectful functions.

Purescript Pouchdb ⭐ 8

Use PouchDB from PureScript as easily and safely as possible

My Purescript Libraries ⭐ 8

A catalog of my PureScript libraries with some notes about what they are, what they do.

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.

Purescript Readts ⭐ 7

Read Typescript source and write Purescript types

Purescript Procrastination ⭐ 7

Experimenting with deferred computations via a type class constraint.

Purescript Int 53 ⭐ 7

Purescript 53-bit integer type

Purescript Node Path ⭐ 7

Type declarations for Node's Path module

Purescript Routing Bob ⭐ 7

Simple bidirectional routes generator for purescript

Purescript Homogeneous ⭐ 7

Simple and easy mapping, folding, traversing etc. over a homogeneous `Record` and `Variant`

Purescript Gen ⭐ 7

A type class for random generator implementations.

Purescript Http Types ⭐ 7

Data types for dealing with HTTP.

Purescript Boomerang ⭐ 6

Invertible parsers + useful combinators - clone of haskell boomerang library

Purescript Yaml Next ⭐ 6

Purescript Son Of A J ⭐ 6

Zero cost json serialization / deserialization for a subset of PureScript types.

Related Searches

Javascript Types (8,178)

Typescript Types (2,606)

Python Types (2,536)

Php Types (1,921)

Java Types (1,598)

C Plus Plus Types (1,282)

Golang Types (1,257)

C Sharp Types (1,177)

Plugin Types (1,152)

Json Types (1,128)

1-46 of 46 search results

Privacy | About | Terms | Follow Us On Twitter

Copyright 2018-2024 Awesome Open Source. All rights reserved.