williamareynolds

williamareynolds's Stars

• gcanti/fp-ts

  Functional programming in TypeScript

  Language:TypeScript10.8k101817502

• gcanti/io-ts

  Runtime type system for IO decoding/encoding

  Language:TypeScript6.7k54440328

• dubzzz/fast-check

  Property based testing framework for JavaScript (like QuickCheck) written in TypeScript

  Language:TypeScript4.3k19547179

• idris-lang/Idris2

  A purely functional programming language with first class types

  Language:Idris2.5k641.2k374

• gcanti/io-ts-types

  A collection of codecs and combinators for use with io-ts

  Language:TypeScript311117940

• SPY/idris-codegen-wasm

  WebAssembly Code Generation Backend for Idris Compiler

  Language:Haskell83913

• gcanti/fp-ts-laws

  fp-ts type class laws for property based testing

  Language:TypeScript81527

• velveteer/hermes

  A Haskell library for fast, memory-efficient decoding of JSON documents using the simdjson C++ library

  Language:Haskell42673

• williamareynolds/ts-cat

  A static-land and fantasy-land compliant library containing interfaces for common type-classes and common instances of them.

  Language:TypeScript7130

• liminalisht/odpic-raw

  Haskell raw bindings to Oracle ODPI-C Library

  Language:C1100