danieljharvey

danieljharvey's Stars

• HigherOrderCO/Kind

  A modern proof language

  Language:Haskell3.6k75216143

• ferdikoomen/openapi-typescript-codegen

  NodeJS library that generates Typescript or Javascript clients based on the OpenAPI specification

  Language:TypeScript3k14486529

• exhibitionist-digital/ultra

  Zero-Legacy Deno/React Suspense SSR Framework

  Language:TypeScript3k1710768

• sandersn/mini-typescript

  A miniature model of the Typescript compiler, intended to teach the structure of the real Typescript compiler

  Language:TypeScript1.2k111063

• cohomolo-gy/haskell-resources

  A List of Foundational Haskell Papers

  Language:JavaScript86246571

• pikelet-lang/pikelet

  A friendly little systems language with first-class types. Very WIP! 🚧 🚧 🚧

  Language:Rust610306226

• kowainik/stan

  🕵️ Haskell STatic ANalyser

  Language:Haskell5721625450

• Doctave/doctave

  A batteries-included developer documentation site generator

  Language:Rust56893732

• morpheusgraphql/morpheus-graphql

  Haskell GraphQL Api, Client and Tools

  Language:Haskell4111022063

• searchableguy/awesome-illustrated-guides

  Awesome illustrated guides or children's books on technical topics.

  34314011

• hazelgrove/tylr

  a tiny tile-based editor

  Language:Reason28612703

• awakesecurity/spectacle

  Embedded specification language & model checker in Haskell

  Language:Haskell174221812

• kofigumbs/codec-beam

  Generate Erlang VM byte code from Haskell

  Language:Haskell172826

• ocharles/weeder

  A re-implementation of weeder using HIE files

  Language:Haskell17097528

• circuithub/rel8

  Hey! Hey! Can u rel8?

  Language:Haskell156169739

• tonyday567/checklist

  How I start Haskell.

  100503

• lazamar/haskell-docs-cli

  Browse Hackage from the terminal

  Language:Haskell915711

• tsearch-io/tsearch

  :warning: WIP :warning: Search TypeScript functions and methods by types

  Language:TypeScript849233

• codedownio/sandwich

  Yet another test framework for Haskell.

  Language:Haskell675486

• purescm/purescm

  Scheme backend for PureScript (a small strongly, statically typed programming language with expressive types, inspired by Haskell).

  Language:Scheme658673

• bkomuves/toy-language-server

  Example language server (LSP) implementation for a toy language

  Language:Haskell60203

• zyla/haskell-nullpointer

  NullPointerExceptions in Haskell

  Language:Haskell58310

• awerlogus/io-ts-transformer

  TypeScript transformer which converts TypeScript types to io-ts entities

  Language:TypeScript441106

• Haskell-Chapelure/chapelure

  Chapelure is a diagnostic library for Haskell

  Language:Haskell44232

• no-day/create-fp-ts-lib

  Bootstrap libraries that follow common fp-ts coding, documentation and testing patterns

  Language:TypeScript414196

• lenguyenthanh/nt9-oh-my-zsh-theme

  A clean, distraction free and git focused development theme for Oh-my-zsh

  Language:Shell31408

• mnahkies/openapi-code-generator

  A code generation tool for openapi 3 / 3.1 specifications written in typescript, primarily aimed at generating typescript clients and server stubs. Other target languages may be added in future.

  Language:JavaScript227322

• unsplash/request-frp

  `request-frp` is a package that provides pure wrappers around `fetch` and `XMLHttpRequest`.

  Language:TypeScript14601

• morpheusgraphql/morpheus-graphql-cli

  Code Generator for Morpheus GraphQL

  Language:Haskell11333

• mikesol/purescript-wags-lib

  A standard library for working with web-audio control data

  Language:PureScript6131