dbieber

GoNoteGo

Go Note Go is a note-taking system for when you're on the go, with a focus on driving and camping.

fountaincode

Fountain Code demo

audiorecorder

AudioRecorder: a cross platform javascript utility for recording and playing audio in all major browsers

ScrabbleBot

A python Scrabble bot. Plays Words with Friends on windows, plays itself in Scrabble, plays command line Scrabble, collects Scrabble stats, has it's own Facebook account: Scrab Blebot. It tweets too: @scrabble_bot. And it also posts to Tumblr: http://scrabblebot.tumblr.com

shh-shell

shh: a shell for when you're half asleep

at-scheduler

at, the simple command line scheduler

davidbieber.com

Source for davidbieber.com

BIG-bench

Beyond the Imitation Game collaborative benchmark for measuring and extrapolating the capabilities of language models

codenames

Code Names game board generator

roam-to-git

Automatic RoamResearch backup to Git

academic-www

Documentation site for Academic

astunparse

An AST unparser for Python

awesome-python

A curated list of awesome Python frameworks, libraries, software and resources

baron

IDE allow you to refactor code, Baron allows you to write refactoring code.

blank-audio

Set of blank MP3 audio files

click

Python composable command line utility

credis

EIPs

The Ethereum Improvement Proposal repository

gast

Python AST that abstracts the underlying Python version

jalammar.github.io

Build a Jekyll blog in minutes, without touching the command line.

jax

Composable transformations of Python+NumPy programs: differentiate, vectorize, JIT to GPU/TPU, and more

ml4code.github.io

Website for "A Survey of Machine Learning for Big Code and Naturalness"

obs-studio

OBS Studio - Free and open source software for live streaming and screen recording

propel

Differential Programming in JavaScript.

PyUserInput

A module for cross-platform control of the mouse and keyboard in python that is simple to install and use.

roam2github

Automatic backups from Roam Research into your private GitHub repo

setfinder

Finds SETs using computer vision

sheet-music

Sheet music by dbieber

textual

The lean application framework for Python. Build sophisticated user interfaces with a simple Python API. Run your apps in the terminal and a web browser.

theorem_proving_in_lean

Theorem proving in Lean