Pinned Repositories
ChatSafe
A secure chat room service based on Node.js, Socket.io and AngularJS with AES encryption
csv-sql
A command line tool for running SQL queries on CSV files
davidtimms.github.io
My blog
effective.ts
Write safe, concurrent, fault-tolerant programs in TypeScript.
loxdown
A statically-typed variant of Lox, written in TypeScript
pure-crawler
A pure functional web crawler using Typelevel Scala
sonata
A simple functional compile-to-js language
texo
A functional, immutable list library for JavaScript
tiny-style
A tiny library for creating and manipulating head stylesheets with a similar API to jQuery
zod-fast-check
Generate fast-check arbitraries from Zod schemas.
DavidTimms's Repositories
DavidTimms/loxdown
A statically-typed variant of Lox, written in TypeScript
DavidTimms/zod-fast-check
Generate fast-check arbitraries from Zod schemas.
DavidTimms/ChatSafe
A secure chat room service based on Node.js, Socket.io and AngularJS with AES encryption
DavidTimms/texo
A functional, immutable list library for JavaScript
DavidTimms/effective.ts
Write safe, concurrent, fault-tolerant programs in TypeScript.
DavidTimms/csv-sql
A command line tool for running SQL queries on CSV files
DavidTimms/davidtimms.github.io
My blog
DavidTimms/effective-loc
Counts the number of lines of code in a codebase. A demo program for using effective.ts.
DavidTimms/sonata
A simple functional compile-to-js language
DavidTimms/tail-call-eliminator
Rewrite a JavaScript AST to convert simple tail-recursive functions to while loops.
DavidTimms/pure-crawler
A pure functional web crawler using Typelevel Scala
DavidTimms/advent-of-code-2021-ocaml
DavidTimms/advent-of-code-2023
DavidTimms/aqueduct
A BitTorrent client, written in OCaml.
DavidTimms/awesome-fast-check
Awesome fast-check resources. Contributions and suggestions are welcomed!
DavidTimms/bddly
DavidTimms/bit-node-tools
Misc node tools from the Boost Internal Tools team
DavidTimms/bubl
A site for collaborative photo sharing and rating
DavidTimms/castle
Framework for building Kafka and avro based apps in typescript
DavidTimms/DavidTimms
Config files for my GitHub profile.
DavidTimms/effective-web-crawler
A web crawler implemented with DavidTimms/effective
DavidTimms/gulp-babel
Gulp plugin for Babel
DavidTimms/immutable-js
Immutable Data Collections for Javascript
DavidTimms/js-ast-validator
Validates a JavaScript AST according to the Mozilla Parser API specification
DavidTimms/protocol.js
Protocol polymorphism for JavaScript, as seen in Clojure and Elixir
DavidTimms/rust-json-pretty-printer
A JSON pretty printer in Rust, written to learn the language
DavidTimms/scala-bencode
Bencode (bittorrent wire format) serialisation and deserialisation library (forked for Scala 3 support)
DavidTimms/sonata-prototype-interpreter
A dynamic, functional language which looks similar to Python and behaves similarly to Lisp
DavidTimms/stack-queue
JavaScript/CoffeeScript implementations of safer stack and queue data structures
DavidTimms/typescript-workshop