danieljharvey

danieljharvey's Stars

• jlevy/the-art-of-command-line

  Master the command line, in one page

  154k2.8k25414.6k

• vim-autoformat/vim-autoformat

  Provide easy code formatting in Vim by integrating existing code formatters.

  Language:Vim Script2.3k32234178

• edwinb/Idris2-boot

  A dependently typed programming language, a successor to Idris

  Language:Idris9016018557

• purescript/spago

  🍝 PureScript package manager and build tool

  Language:PureScript79419595132

• hasura/eff

  🚧 a work in progress effect system for Haskell 🚧

  Language:Haskell553561418

• compiling-to-categories/concat

  Compiling to Categories

  Language:Haskell441295050

• haskell-game/sdl2

  Haskell bindings to the SDL2 library

  Language:Haskell3633113986

• typeclasses/haskell-phrasebook

  The Haskell Phrasebook: a quick intro to Haskell via small annotated example programs

  Language:Haskell211121922

• purescript-react/purescript-react-basic-hooks

  An implementation of React hooks on top of purescript-react-basic

  Language:PureScript20183833

• purescript/package-sets

  PureScript packages for Spago and Psc-Package

  Language:Dhall194120312

• albohlabs/awesome-haskell

  A curated list of amazingly awesome Haskell articles and talks for beginners.

  19015010

• revery-ui/revery-quick-start

  Quick Start / Sample Revery Application

  Language:Reason17663428

• kenwheeler/camlsynth

  Language:OCaml1595111

• restaumatic/purescript-specular

  A Reflex-Dom inspired UI library for PureScript

  Language:PureScript134202810

• juusaw/ts-to-io

  Transform TypeScript types to io-ts runtime validator codecs

  Language:TypeScript1043814

• FrigoEU/psc-ide-vim

  Vim plugin for psc-ide

  Language:Vim script96128536

• ChrisPenner/astar-monad

  A smart A* search monad transformer which supports backtracking user-state!

  Language:Haskell81621

• i-am-tom/oops

  Classy error-handling (and dispatching!) in Haskell.

  Language:Haskell48434

• sdiehl/vim-ormolu

  Plugin for formatting Haskell source code

  Language:Vim script40293

• JordanMartinez/purescript-to-haskell

  Helps a PureScript developer get more familiar with Haskell, so they can use Haskell as a web server

  Language:Haskell254130

• f-f/CASSALPOPOLO

  More open source 4/4 beats for the peoples

  Language:Haskell24710

• natefaubion/purescript-optimizer

  Language:Haskell20611

• felixmulder/hedgehog-servant

  Property based testing for Servant using Hedgehog

  Language:Haskell19503

• trskop/archetype

  Archetype IDL

  Language:Haskell12802

• i-am-tom/purescript-propagators

  Bidirectional computations as networks of relationships.

  Language:PureScript1020

• jmackie/react-astley

  I just wanna tell you how I'm feeling

  Language:JavaScript511

• klntsky/purescript-bower-json

  𝚋𝚘𝚠𝚎𝚛.𝚓𝚜𝚘𝚗 decoder for purescript

  Language:PureScript4301

• jmackie/purescript-webpack-template

  🎨 PureScript with Webpack 4

  Language:JavaScript310

• alpacaaa/trunk.life

  There's only one branch that matters #trunklife

  Language:CSS231

• jmackie/purescript-harambe

  🦍 Elm-like written in PureScript backed by React (wip)

  Language:PureScript2200