DavidGregory084

DavidGregory084's Stars

• PostgREST/postgrest

  REST API for any Postgres database

  Language:Haskell24.2k3391.8k1k

• purescript/purescript

  A strongly-typed language that compiles to JavaScript

  Language:Haskell8.6k1582.4k565

• elm/compiler

  Compiler for Elm, a functional language for reliable webapps.

  Language:Haskell7.6k2011.7k663

• reactive-streams/reactive-streams-jvm

  Reactive Streams Specification for the JVM

  Language:Java4.8k265270533

• facebook/Haxl

  A Haskell library that simplifies access to remote data, such as databases or web-based services.

  Language:Haskell4.3k19437311

• commercialhaskell/stack

  The Haskell Tool Stack

  Language:Haskell4k1014.4k841

• ghc/ghc

  Mirror of the Glasgow Haskell Compiler. Please submit issues and patches to GHC's Gitlab instance (https://gitlab.haskell.org/ghc/ghc). First time contributors are encouraged to get started with the newcomers info (https://gitlab.haskell.org/ghc/ghc/wikis/contributing).

  Language:Haskell3.1k1440709

• SimulaVR/Simula

  Linux VR Desktop

  Language:Haskell3k6317291

• yesodweb/yesod

  A RESTful Haskell web framework built on WAI.

  Language:Haskell2.7k971.1k372

• twitter/rsc

  Experimental Scala compiler focused on compilation speed

  Language:Scala1.2k7530847

• ucsd-progsys/liquidhaskell

  Liquid Types For Haskell

  Language:Haskell1.2k291.2k139

• typelevel/squants

  The Scala API for Quantities, Units of Measure and Dimensional Analysis

  Language:Scala92319142122

• typelevel/kind-projector

  Compiler plugin for making type lambdas (type projections) easier to write

  Language:Scala922289975

• Gabriella439/bench

  Command-line benchmark tool

  Language:Haskell881172821

• ollef/sixten

  Functional programming with fewer indirections

  Language:Haskell761498526

• package-url/purl-spec

  A minimal specification for purl aka. a package "mostly universal" URL, join the discussion at https://gitter.im/package-url/Lobby

  71732185166

• rockymadden/stringmetric

  :dart: String metrics and phonetic algorithms for Scala (e.g. Dice/Sorensen, Hamming, Jaccard, Jaro, Jaro-Winkler, Levenshtein, Metaphone, N-Gram, NYSIIS, Overlap, Ratcliff/Obershelp, Refined NYSIIS, Refined Soundex, Soundex, Weighted Levenshtein).

  Language:Scala486412980

• sebastiaanvisser/clay

  A CSS preprocessor as embedded Haskell.

  Language:Haskell3611314072

• gnieh/diffson

  A scala diff/patch library for Json

  Language:Scala315135351

• Verizon/quiver

  A reasonable library for modeling multi-graphs in Scala

  Language:Scala200261039

• Chymyst/chymyst-core

  Declarative concurrency in Scala - The implementation of the chemical machine

  Language:Scala156191411

• nuttycom/xenomorph

  Scala library for free applicative schemas capable of parsing/rendering sums-of-products data structures.

  Language:Scala10812412

• paf31/purescript-react-explore

  Experiments with comonads for modelling React UIs

  Language:PureScript92715

• tkawachi/sbt-lock

  Gemfile.lock for sbt

  Language:Scala7582012

• non/clouseau

  Discover java object sizes through questionable sleuthing plus luck.

  Language:Scala67742

• sfischer13/awesome-eta

  :star: Useful resources for the Eta programming language

  63305

• laughedelic/literator

  :memo: Generate literate-style markdown docs from your sources

  Language:Scala595116

• functional-streams-for-scala/fs2-cats

  Interop between fs2 and cats

  Language:Scala4411312

• nightkr/Sbtix

  Generates Nix definitions for your SBT builds

  Language:Scala42122012

• jeffreyolchovy/sbt-check

  An sbt plugin that provides the check task (i.e. compile up to, and including, the typer phase)

  Language:Scala19520