xgrommx

xgrommx's Stars

• jaredpalmer/formik

  Build forms in React, without the tears 😭

  Language:TypeScript34k2302.2k2.8k

• jquense/yup

  Dead simple Object schema validation

  Language:TypeScript22.9k751.7k935

• Netflix/pollyjs

  Record, Replay, and Stub HTTP Interactions.

  Language:JavaScript10.2k375220353

• haskellcamargo/sclack

  The best CLI client for Slack, because everything is terrible!

  Language:Python2.5k407697

• github/glb-director

  GitHub Load Balancer Director and supporting tooling.

  Language:C2.4k36354230

• purescript/documentation

  Documentation for the PureScript language, compiler, and tools.

  1k23134300

• purescript-contrib/pulp

  A build tool for PureScript projects

  Language:PureScript4451425886

• owickstrom/gi-gtk-declarative

  Declarative GTK+ programming in Haskell

  Language:Haskell288194635

• stereobooster/type-o-rama

  👾 JS type systems interportability

  2441356

• pure-c/purec

  C backend for PureScript

  Language:PureScript23415588

• snowleopard/hadrian

  Hadrian: a new build system for the Glasgow Haskell Compiler. Now merged into the GHC tree!

  Language:Haskell2091841637

• citizennet/purescript-httpure

  A web framework written in PureScript.

  Language:PureScript183138616

• natefaubion/purescript-spork

  Elm-like for PureScript

  Language:PureScript15711229

• purescript-spec/purescript-spec

  Testing framework for Purescript

  Language:PureScript13496947

• ZHaskell/stdio

  Haskell Standard Input and Output

  Language:Haskell1041495

• andrevdm/bhoogle

  Hoogle terminal UI brick example app

  Language:Haskell977713

• funkia/purescript-turbine

  Purely functional UI library powered by FRP.

  Language:PureScript82746

• bor0/gidti

  Book: Introduction to Dependent Types with Idris

  759224

• mortberg/yacctt

  yacctt: Yet Another Cartesian Cubical Type Theory

  Language:Haskell741228

• dorchard/type-level-sets

  Type-level sets for Haskell (with value-level counterparts and various operations)

  Language:Haskell6641822

• Saizan/cubical-demo

  Language:Agda45101012

• syallop/Join-Language

  Haskell Join-calculus DSL

  Language:Haskell22301

• funkia/purescript-rrb-list

  Highly efficient immutable list powered RRB-trees implementing the Data.Array API

  Language:PureScript14613

• mrkgnao/system-dc

  Strongly typed implementation of System DC, the core language for Dependent Haskell

  Language:Haskell11500

• joneshf/purescript-optic

  Language:PureScript10234

• avieth/type-lambda

  First-class type-level functions

  Language:Haskell9500

• Gabriella439/Haskell-Break-Library

  Break from a loop

  Language:Haskell9403

• Thimoteus/purescript-yarn

  miscellaneous functions on strings

  Language:PureScript83311

• justinwoo/records-fields-pairwise

  a pairwise records operation demo with GHC8 generics and generic-lens

  Language:Haskell61

• chrisdotcode/purescript-default

  Language:PureScript1200