DavidTimms

Bristol

Pinned Repositories

ChatSafe
A secure chat room service based on Node.js, Socket.io and AngularJS with AES encryption
Language:JavaScript31 7 310
csv-sql
A command line tool for running SQL queries on CSV files
Language:JavaScript4 2 10
davidtimms.github.io
My blog
Language:Ruby1 2 10
effective.ts
Write safe, concurrent, fault-tolerant programs in TypeScript.
Language:TypeScript5 2 00
loxdown
A statically-typed variant of Lox, written in TypeScript
Language:TypeScript117 4 15
pure-crawler
A pure functional web crawler using Typelevel Scala
Language:Scala0 2 00
sonata
A simple functional compile-to-js language
Language:JavaScript1 2 00
texo
A functional, immutable list library for JavaScript
Language:JavaScript9 2 00
tiny-style
A tiny library for creating and manipulating head stylesheets with a similar API to jQuery
Language:JavaScript8 2 00
zod-fast-check
Generate fast-check arbitraries from Zod schemas.
Language:TypeScript106 4 910

DavidTimms's Repositories

DavidTimms/encrypted-facebook
Chrome extension for seamless PGP encryption of facebook messages
Language:JavaScript1
DavidTimms/spectra
Spectra is a Javascript library for quickly manipulating and converting colors.
Language:JavaScript2 0