davidfstr/trycast

trycast parses JSON-like values whose shape is defined by TypedDicts and other standard Python type hints.

Language: Python - Size: 868 KB - Last synced at: about 3 hours ago - Pushed at: 9 months ago - Stars: 81 - Forks: 6

davidfstr/rdiscount

Discount (For Ruby) Implementation of John Gruber's Markdown

Language: C - Size: 488 KB - Last synced at: 5 days ago - Pushed at: over 1 year ago - Stars: 753 - Forks: 70

davidfstr/ClassicBox

Allows one-click installation of Mac OS 0.x - 9.x software.

Language: Python - Size: 332 KB - Last synced at: about 3 hours ago - Pushed at: about 11 years ago - Stars: 11 - Forks: 1

davidfstr/idris-insertion-sort

Provably correct implementation of insertion sort in Idris.

Language: Idris - Size: 5.86 KB - Last synced at: about 3 hours ago - Pushed at: about 4 years ago - Stars: 31 - Forks: 4

davidfstr/Crystal-Web-Archiver

Downloads websites for long-term archival.

Language: Python - Size: 6.77 MB - Last synced at: about 3 hours ago - Pushed at: 8 months ago - Stars: 65 - Forks: 5

davidfstr/nanoproxy

Small fast HTTP forward proxy in Go.

Language: Go - Size: 5.86 KB - Last synced at: about 3 hours ago - Pushed at: about 4 years ago - Stars: 54 - Forks: 20

davidfstr/beartype Fork of beartype/beartype

Unbearably fast near-real-time hybrid runtime-static type-checking in pure Python.

Size: 11.3 MB - Last synced at: about 3 hours ago - Pushed at: about 1 month ago - Stars: 0 - Forks: 0

davidfstr/dafoster.net

My personal website. Good example of a complex Jekyll site.

Language: JavaScript - Size: 23.7 MB - Last synced at: about 3 hours ago - Pushed at: about 1 month ago - Stars: 3 - Forks: 1

davidfstr/davidfstr.github.com

Deployed version of my website.

Language: HTML - Size: 34.5 MB - Last synced at: about 3 hours ago - Pushed at: about 1 month ago - Stars: 1 - Forks: 0

davidfstr/Python-in-Mac-App-Store

Barebones Python app that can be submitted to the Mac App Store.

Language: Shell - Size: 335 KB - Last synced at: about 3 hours ago - Pushed at: about 4 years ago - Stars: 95 - Forks: 16

davidfstr/webcrystal

An archiving HTTP proxy and on-disk archival format for websites.

Language: Python - Size: 227 KB - Last synced at: about 3 hours ago - Pushed at: over 2 years ago - Stars: 34 - Forks: 1

davidfstr/dotfiles

My command line customizations for OS X.

Language: Python - Size: 66.4 KB - Last synced at: about 3 hours ago - Pushed at: 8 months ago - Stars: 4 - Forks: 1

davidfstr/willingc Fork of willingc/willingc

Size: 328 KB - Last synced at: about 3 hours ago - Pushed at: 10 months ago - Stars: 0 - Forks: 0

davidfstr/notifymail

Allows scripts to send email to a preconfigured address.

Language: Python - Size: 149 KB - Last synced at: about 3 hours ago - Pushed at: over 6 years ago - Stars: 7 - Forks: 5

davidfstr/pydeps

Visualizes Python module dependencies.

Language: Python - Size: 199 KB - Last synced at: about 3 hours ago - Pushed at: about 12 years ago - Stars: 6 - Forks: 2

davidfstr/setup-poetry Fork of Gr1N/setup-poetry 📦

Set up your GitHub Actions workflow with a specific version of Poetry

Size: 676 KB - Last synced at: about 3 hours ago - Pushed at: about 4 years ago - Stars: 0 - Forks: 0

davidfstr/Uhuru

A translation assistant for reading Japanese text quickly.

Language: JavaScript - Size: 5.55 MB - Last synced at: about 3 hours ago - Pushed at: about 10 years ago - Stars: 9 - Forks: 1

davidfstr/hello-deb-package

Example of how to build a binary .deb Debian package

Language: Dockerfile - Size: 1000 Bytes - Last synced at: about 3 hours ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

davidfstr/submit-site-to-marginalia-search Fork of MarginaliaSearch/submit-site-to-marginalia-search

Submit websites to be crawled by Marginalia Search here

Size: 138 KB - Last synced at: about 3 hours ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

davidfstr/direncode

Encodes all video files from a source directory to a target directory, optionally continuously.

Language: Python - Size: 12.7 KB - Last synced at: about 3 hours ago - Pushed at: almost 3 years ago - Stars: 1 - Forks: 0

davidfstr/hello-vitejs-vite-stackblitz

Created with StackBlitz ⚡️

Language: Vue - Size: 9.77 KB - Last synced at: about 3 hours ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0

davidfstr/Phoenix Fork of wxWidgets/Phoenix

wxPython's Project Phoenix. A new implementation of wxPython, better, stronger, faster than he was before.

Size: 43.4 MB - Last synced at: about 3 hours ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0

davidfstr/hbencode

Encodes video files in bulk for playback on an iPhone or iPod Touch.

Language: Python - Size: 13.7 KB - Last synced at: about 3 hours ago - Pushed at: almost 3 years ago - Stars: 0 - Forks: 0

davidfstr/cpython Fork of python/cpython

The Python programming language

Language: Python - Size: 520 MB - Last synced at: about 3 hours ago - Pushed at: 11 months ago - Stars: 0 - Forks: 0

davidfstr/peps Fork of python/peps

Python Enhancement Proposals

Size: 23.8 MB - Last synced at: about 3 hours ago - Pushed at: 7 months ago - Stars: 1 - Forks: 0

davidfstr/idris-lang.org Fork of edwinb/idris-lang.org

Idris web site

Size: 199 KB - Last synced at: about 3 hours ago - Pushed at: about 3 years ago - Stars: 0 - Forks: 0

davidfstr/nc-ddns-basic

Namecheap DNS Updater client (Basic)

Language: Shell - Size: 1.95 KB - Last synced at: about 3 hours ago - Pushed at: almost 4 years ago - Stars: 1 - Forks: 0

davidfstr/typing Fork of python/typing

Work related to PEP 484: typing.py and typing_extensions.py (both released via PyPI) and issue tracker for type system bugs/features.

Size: 1.65 MB - Last synced at: about 3 hours ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0

davidfstr/pythondotorg Fork of python/pythondotorg

Source code for python.org

Size: 25.2 MB - Last synced at: about 3 hours ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0

davidfstr/blockly Fork of google/blockly

The web-based visual programming editor.

Size: 104 MB - Last synced at: about 3 hours ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0

davidfstr/news_archive

Moves old emails from one IMAP mailbox to another.

Language: Python - Size: 3.91 KB - Last synced at: about 3 hours ago - Pushed at: over 5 years ago - Stars: 0 - Forks: 0

davidfstr/moment Fork of moment/moment

Parse, validate, manipulate, and display dates in javascript.

Language: JavaScript - Size: 17 MB - Last synced at: about 3 hours ago - Pushed at: over 5 years ago - Stars: 0 - Forks: 0

davidfstr/TypecheckVue

Experiments in typechecking Vue using TypeScript.

Language: HTML - Size: 32.2 KB - Last synced at: about 3 hours ago - Pushed at: almost 6 years ago - Stars: 0 - Forks: 0

davidfstr/StreamStream

Access PHP stream objects by URL.

Language: PHP - Size: 102 KB - Last synced at: about 3 hours ago - Pushed at: about 12 years ago - Stars: 3 - Forks: 1

davidfstr/YouTube-iTunes-Sync

Syncs a YouTube music playlist with iTunes.

Language: Python - Size: 221 KB - Last synced at: about 3 hours ago - Pushed at: about 12 years ago - Stars: 6 - Forks: 2

davidfstr/vidcrush

Reduces the byte size of a video file by reencoding it at half width and height.

Language: Python - Size: 3.91 KB - Last synced at: about 3 hours ago - Pushed at: over 6 years ago - Stars: 0 - Forks: 0

davidfstr/Elm Fork of elm/compiler

The Elm programming language aims to make web development more pleasant. Elm is a type-safe, functional reactive language that compiles to HTML, CSS, and JavaScript.

Language: Haskell - Size: 3.98 MB - Last synced at: about 3 hours ago - Pushed at: over 11 years ago - Stars: 0 - Forks: 0

davidfstr/django Fork of django/django

The Web framework for perfectionists with deadlines.

Language: Python - Size: 171 MB - Last synced at: about 3 hours ago - Pushed at: over 5 years ago - Stars: 0 - Forks: 0

davidfstr/urllib3 Fork of urllib3/urllib3

Python HTTP library with thread-safe connection pooling, file post support, sanity friendly, and more.

Language: Python - Size: 2.55 MB - Last synced at: about 3 hours ago - Pushed at: about 9 years ago - Stars: 0 - Forks: 0

davidfstr/channels Fork of django/channels

Developer-friendly asynchrony for Django

Language: Python - Size: 1.62 MB - Last synced at: about 3 hours ago - Pushed at: over 6 years ago - Stars: 0 - Forks: 0

davidfstr/channels-chat-example

Example chat server implemented with Django Channels.

Language: Python - Size: 15.6 KB - Last synced at: about 3 hours ago - Pushed at: over 6 years ago - Stars: 2 - Forks: 2

davidfstr/Decimal-Binary-Unit-Converter

Converts byte values between decimal and binary units.

Language: Java - Size: 1.2 MB - Last synced at: about 3 hours ago - Pushed at: over 12 years ago - Stars: 1 - Forks: 0

davidfstr/Incoming-Game

Game where you shoot bombs out of the sky before they destroy you.

Language: Elm - Size: 273 KB - Last synced at: about 3 hours ago - Pushed at: about 11 years ago - Stars: 0 - Forks: 0

davidfstr/iTunes-Connect-Autodownload

Downloads sales reports from iTunes Connect automatically.

Language: Python - Size: 3.01 MB - Last synced at: about 3 hours ago - Pushed at: almost 11 years ago - Stars: 4 - Forks: 3

davidfstr/nhconj

Conjugates Japanese verbs and adjectives.

Language: Python - Size: 148 KB - Last synced at: about 3 hours ago - Pushed at: about 10 years ago - Stars: 0 - Forks: 0

davidfstr/tic-tac-idris

Tic-tac-toe game written in Idris.

Language: Idris - Size: 133 KB - Last synced at: about 3 hours ago - Pushed at: about 10 years ago - Stars: 1 - Forks: 0

davidfstr/plint

A Python type checker and linter that just works.

Language: OCaml - Size: 48.8 KB - Last synced at: about 3 hours ago - Pushed at: over 7 years ago - Stars: 1 - Forks: 0

davidfstr/DailyDivider

I am a robot that tweets once every day at midnight (Pacific Time).

Language: Python - Size: 121 KB - Last synced at: about 3 hours ago - Pushed at: over 9 years ago - Stars: 0 - Forks: 0

davidfstr/arf

Tiny research language for investigating how to type-check programs with recursive function calls.

Language: OCaml - Size: 234 KB - Last synced at: about 3 hours ago - Pushed at: over 9 years ago - Stars: 2 - Forks: 0

davidfstr/renameregex

Renames files in bulk using regular expressions.

Language: Python - Size: 5.86 KB - Last synced at: about 3 hours ago - Pushed at: over 8 years ago - Stars: 0 - Forks: 0

davidfstr/doppio Fork of plasma-umass/doppio

Breaks the browser language barrier (includes a plugin-free JVM).

Language: TypeScript - Size: 73.6 MB - Last synced at: about 3 hours ago - Pushed at: about 8 years ago - Stars: 0 - Forks: 0

davidfstr/typeshed Fork of python/typeshed

Collection of library stubs for Python, with static types

Language: Python - Size: 1.36 MB - Last synced at: about 3 hours ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0

davidfstr/mypy Fork of python/mypy

Optional static typing for Python 2 and 3 (PEP484)

Language: Python - Size: 66.5 MB - Last synced at: about 3 hours ago - Pushed at: about 1 month ago - Stars: 0 - Forks: 0

davidfstr/update_noip

Refreshes all your hostnames on no-ip.com

Language: Python - Size: 4.88 KB - Last synced at: about 3 hours ago - Pushed at: over 7 years ago - Stars: 0 - Forks: 0

davidfstr/Dropbox-Upload-Service

Web service that copies local files to Dropbox on demand.

Language: Python - Size: 160 KB - Last synced at: about 3 hours ago - Pushed at: over 9 years ago - Stars: 0 - Forks: 0

davidfstr/meetupfilter

Notifies you of new *active* Meetup.com groups in your area.

Language: Python - Size: 10.7 KB - Last synced at: about 3 hours ago - Pushed at: over 9 years ago - Stars: 0 - Forks: 0

davidfstr/discount Fork of Orc/discount

My C implementation of John Gruber's Markdown markup language

Language: C - Size: 1.1 MB - Last synced at: about 3 hours ago - Pushed at: about 9 years ago - Stars: 2 - Forks: 2

davidfstr/select2 Fork of select2/select2

Select2 is a jQuery based replacement for select boxes. It supports searching, remote data sets, and infinite scrolling of results.

Language: JavaScript - Size: 3.33 MB - Last synced at: about 3 hours ago - Pushed at: about 11 years ago - Stars: 0 - Forks: 0

davidfstr/ActiveSeattle

Find pickup sports in Seattle. [INCOMPLETE]

Language: PHP - Size: 438 KB - Last synced at: about 3 hours ago - Pushed at: almost 13 years ago - Stars: 1 - Forks: 0

davidfstr/macemu Fork of vasi/macemu

Basilisk II and SheepShaver Macintosh emulators (PATCHES)

Language: C++ - Size: 11.8 MB - Last synced at: about 3 hours ago - Pushed at: almost 11 years ago - Stars: 0 - Forks: 0

davidfstr/dht Fork of jech/dht

BitTorrent DHT library

Language: C - Size: 193 KB - Last synced at: about 3 hours ago - Pushed at: about 12 years ago - Stars: 0 - Forks: 0

davidfstr/exercises-in-programming-style Fork of crista/exercises-in-programming-style

Comprehensive collection of programming styles using a simple computational task, term frequency

Language: Python - Size: 579 KB - Last synced at: about 3 hours ago - Pushed at: over 11 years ago - Stars: 0 - Forks: 0

davidfstr/TollAvoider

iOS app that provides driving directions which avoid the WA-520 toll bridge.

Language: Objective-C - Size: 5.17 MB - Last synced at: about 3 hours ago - Pushed at: over 12 years ago - Stars: 0 - Forks: 0

davidfstr/SublimeREPL Fork of wuub/SublimeREPL

SublimeREPL - run an interpreter inside ST2 (Clojure, CoffeeScript, F#, Groovy, Haskell, Lua, MozRepl, NodeJS, Python, R, Ruby, Scala, shell or configure one yourself)

Language: Python - Size: 85.9 KB - Last synced at: about 3 hours ago - Pushed at: over 11 years ago - Stars: 0 - Forks: 0

davidfstr/git Fork of git/git

Git Source Code Mirror - This is a publish-only repository and all pull requests are ignored. Please follow Documentation/SubmittingPatches procedure for any of your improvements.

Language: C - Size: 50.9 MB - Last synced at: about 3 hours ago - Pushed at: almost 12 years ago - Stars: 0 - Forks: 0