Discover @danieljharvey Open Source projects

Daniel Harvey (@danieljharvey)

danieljharvey

Stars
291
Global Rank 91,314 (Top 4 %)
Followers 100
Following 145
Registered over 11 years ago
Most used languages

Haskell
40.8 %

TypeScript
20.4 %

PureScript 18.4 %

JavaScript
6.1 %

PHP
4.1 %

OCaml
4.1 %

Reason 2.0 %

Emacs Lisp
2.0 %

HTML
2.0 %
Location 🇬🇧 United Kingdom
Country Total Rank 4,444
Country Ranking

PureScript 8

Reason 12

Haskell
65

OCaml
118

Emacs Lisp
306

TypeScript
503

PHP
4,586

JavaScript
7,522

HTML
7,874

functional-programming-is-boring

A short course on Functional Programming in Typescript

horses

small programming language. pls be gentle.

purescript-refined

Purescript refinement types with runtime checking

graphql-codegen-fast-check

Generate Fastcheck arbitraries from GraphQL Schema

tmux-mate

Launch and manage your Tmux sessions from Dhall files.

another-react-basic-starter

Purescript React Basic starter with sample app

wasm-calc

Building a compiler to WASM step-by-step

migratable

Haskell library to ease the pain of versioning and migrating data types

it-is-the-purescript-egg

Remaking the same goddamn thing AGAIN

nix-mate

Installing stuff with Nix made easy

redux-atomic

Give Those Typing Hands A Break

purescript-react-stylesheet

Utilities to attach purescript-stylesheet to purescript-react

it-is-the-egg

Puzzle game thing with an egg

reason-examples

Some examples of reason code

purescript-cssom

Types and helpers for creating and manipulating stylesheets in Purescript

webaudio-crdt

Collaborative webaudio

purescript-radox-example

Example app for purescript-radox library

llvm-calc

Companion code for llvm tutorial

advent-of-code-18

My terrible solutions

property-testing

A quick intro and demonstration repo for property testing in Typescript

ts-contract-tests

Testing repo for contract tests in Typescript

purescript-radox

Like Redux, For Purescript, But With Less Features

mimsa

purescript-stylesheet

Flappy trial making a CSS virtual DOM for Purescript

gtk-time

Playing with gi-gtk-declarative

reason-egg

It is the egg but made using Reprocessing, I suppose.

fuzzer

Read functions and run them

mega-haskell

All of things for the blog

sdl-stuff

Messing around with Haskell SDL2

statemate

Love your state, treat it right.

purescript-react-radox

Purescript React helper components for using Radox state management library

danieljharvey.github.io

Website with the stuff in it

koa-router-fp-ts

dotfiles

Yep, those. Probably the worst ones ever.

luncher

file-wrapper

A simple file system function wrapper that can be easily mocked or stubbed for testing

im-sorry-haskell

You had a such a bright future ahead of you and now this

web-audio-streams

Web audio controlling using rxJS streams

simple-env

Simple library for grabbing environment variables

ts-parser-combinators

Implementing https://bodil.lol/parser-combinators/ in TS

php-git-branch

What git branch am I on? What does it all mean? This library may answer one of more of these big burners.

reasonable

ReasonReact test toilet

helm-time

search-face

Fire up a browser and do a quick search from the command line, great.

reader-reducer

sean-backend

arbitrary-server

Server that splits out Arbitrary instances of things

nonemptysteve

Playing with data constructors and semigroup

egg-api

Backend for It Is The Egg level editor