Skip to content
View DavidTimms's full-sized avatar
35 followers · 6 following
  • Bristol

Achievements

Achievement: Pull Sharkx4Achievement: Pair Extraordinairex3Achievement: YOLOAchievement: QuickdrawAchievement: Arctic Code Vault ContributorAchievement: Starstruck

Achievements

Achievement: Pull Sharkx4Achievement: Pair Extraordinairex3Achievement: YOLOAchievement: QuickdrawAchievement: Arctic Code Vault ContributorAchievement: Starstruck

Block or report DavidTimms

Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
DavidTimms/README.md

Hi, I’m @DavidTimms.

I’m interested in programming language theory, type systems, functional programming and data-intensive applications, amongst other things.

Pinned Loading

  1. loxdown loxdown Public

    A statically-typed variant of Lox, written in TypeScript

    TypeScript 127 5

  2. zod-fast-check zod-fast-check Public

    Generate fast-check arbitraries from Zod schemas.

    TypeScript 117 12

  3. effective.ts effective.ts Public

    Write safe, concurrent, fault-tolerant programs in TypeScript.

    TypeScript 5

  4. csv-sql csv-sql Public

    A command line tool for running SQL queries on CSV files

    JavaScript 4

  5. sonata sonata Public

    A simple functional compile-to-js language

    JavaScript 1

  6. pure-crawler pure-crawler Public

    A pure functional web crawler using Typelevel Scala

    Scala