• Stars
    star
    1
  • Language Idris
  • Created almost 10 years ago
  • Updated over 9 years ago

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Tic-tac-toe game written in Idris.

More Repositories

1

rdiscount

Discount (For Ruby) Implementation of John Gruber's Markdown
C
752
star
2

Python-in-Mac-App-Store

Barebones Python app that can be submitted to the Mac App Store.
Shell
93
star
3

trycast

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

Crystal-Web-Archiver

Downloads websites for long-term archival.
Python
59
star
5

nanoproxy

Small fast HTTP forward proxy in Go.
Go
52
star
6

webcrystal

An archiving HTTP proxy and on-disk archival format for websites.
Python
33
star
7

idris-insertion-sort

Provably correct implementation of insertion sort in Idris.
Idris
28
star
8

ClassicBox

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

Uhuru

A translation assistant for reading Japanese text quickly.
JavaScript
9
star
10

notifymail

Allows scripts to send email to a preconfigured address.
Python
7
star
11

pydeps

Visualizes Python module dependencies.
Python
6
star
12

YouTube-iTunes-Sync

Syncs a YouTube music playlist with iTunes.
Python
6
star
13

dotfiles

My command line customizations for OS X.
Python
4
star
14

iTunes-Connect-Autodownload

Downloads sales reports from iTunes Connect automatically.
Python
4
star
15

dafoster.net

My personal website. Good example of a complex Jekyll site.
JavaScript
3
star
16

StreamStream

Access PHP stream objects by URL.
PHP
3
star
17

channels-chat-example

Example chat server implemented with Django Channels.
Python
2
star
18

arf

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

ActiveSeattle

Find pickup sports in Seattle. [INCOMPLETE]
PHP
1
star
20

davidfstr.github.com

Deployed version of my website.
HTML
1
star
21

plint

A Python type checker and linter that just works.
OCaml
1
star
22

direncode

Encodes all video files from a source directory to a target directory, optionally continuously.
Python
1
star
23

Decimal-Binary-Unit-Converter

Converts byte values between decimal and binary units.
Java
1
star
24

nc-ddns-basic

Namecheap DNS Updater client (Basic)
Shell
1
star