• Stars
    star
    4
  • Rank 3,304,323 (Top 66 %)
  • Language
    TeX
  • Created over 11 years ago
  • Updated about 9 years ago

Reviews

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

Repository Details

Talk for Pittsburgh Tech Fest 2013

More Repositories

1

twenty-four-days2015-of-hackage

My own little "24 Days of Hackage" for 2015
HTML
63
star
2

clojure-transducers-in-haskell

Clojure transducers in a typed setting, in Haskell
Haskell
56
star
3

hugs98-plus-Sep2006

Revive Hugs98 from its last official self-contained distribution.
Haskell
37
star
4

p2c

Pascal to C compiler
C
28
star
5

learn-you-some-erlang

Code from the book "Learn You Some Erlang For Great Good!"
Erlang
26
star
6

Ebnf2ps

Generate PostScript diagrams from an EBNF grammar
Haskell
21
star
7

spreadsheet-haskell

Spreadsheet demo in Haskell
Haskell
16
star
8

validate-xml-rust

Validate XML files against their referenced XML Schemas concurrently and fast
Rust
13
star
9

rust-vs-cpp-unique_ptr

Code accompanying blog post about the difference between Rust and C++ unique_ptr.
Rust
11
star
10

immutable-list-rust

Immutable, persistent singly linked list for Rust for purely functional programming
Rust
10
star
11

rust-tau

Mathematical constant tau for Rust.
Rust
6
star
12

covid-19-allegheny-county

COVID-19 data for Allegheny County, Pennsylvania
6
star
13

talk-on-type-directed-tdd-using-fizzbuzz

Pittsburgh TechFest 2014 presentation "Exploring type-directed test-driven development: a case study using FizzBuzz"
Scala
6
star
14

lightning-talk-on-hypothesis

5-minute lightning talk on Python "hypothesis" library
Python
5
star
15

gotau

Package for Go providing mathematical constant Ο„ (tau)
Go
5
star
16

type-directed-tdd-rust

Presentation on "Type-Directed TDD in Rust" for Pittsburgh Code and Supply
TeX
5
star
17

validate-xml-python

Validate XML files against their referenced XML Schemas concurrently and fast
Python
4
star
18

spreadsheet-ocaml

Spreadsheet demo code from http://semantic-domain.blogspot.com/2015/07/how-to-implement-spreadsheet.html with additional test harness
OCaml
4
star
19

tau

Elixir module for tau
Elixir
3
star
20

scaft

Functional Testing with Selenium Web Driver and Scala
Scala
3
star
21

test-loop-over-tests

Illustrate generating tests dynamically for Scala in ScalaTest and specs2
Scala
3
star
22

delightful-intro-to-music-for-adults

A book in progress, "A delightful introduction to music for adults"
3
star
23

schreiner-friedman-pretty-printer

Pretty-printer program implemented in Standard ML in 1996
HTML
3
star
24

gentle-conceptual-intro-to-fp-for-humans

Materials for my talk "A gentle, conceptual introduction to functional programming for humans" http://www.meetup.com/Pittsburgh-Functional-Programming-Meetup/events/224593883/
TeX
3
star
25

wonderland-katas-haskell

Haskell solutions for Clojure katas at https://github.com/gigasquid/wonderland-clojure-katas
Haskell
3
star
26

stack-template-demo

Demo of using the franklinchen Haskell Stack template
Haskell
2
star
27

fizzbuzz-swift

Swift version of my Scala code for "Exploring type-directed test-driven development: a case study using FizzBuzz"
Swift
2
star
28

sbt-antlr

SBT plugin for ANTLR3
Scala
2
star
29

project-euler-haskell

Solutions to Project Euler problems using Haskell
Haskell
2
star
30

test-hakyll

Test project for experimenting with Hakyll
Haskell
2
star
31

FPretty

Haskell
2
star
32

get-data-from-url-haskell

Haskell version of https://github.com/hjr3/rust-get-data-from-url
Haskell
2
star
33

cmu-cs-212ML-notes-spring-1998

Some notes from CMU CS 15-212-ML, spring 1998
2
star
34

advent-of-code2016

Advent of Code 2016, done in Haskell
Haskell
2
star
35

translate-files

Translate text files using Google Translate.
Python
2
star
36

test_elixir_tau

Simple use of Elixir library through Mix.
Elixir
1
star
37

multigrid

Fall 1998 computer science class homework using OCaml
OCaml
1
star
38

spreadsheet-ruby

Spreadsheet demo in Ruby
Ruby
1
star
39

get-latest-stack-osx

Demo of using Haskell for simple scripting.
Haskell
1
star
40

mlscheme

Scheme interpreter implemented in Standard ML (old project from 1997)
Standard ML
1
star
41

change-travis-stuff

Scripts to change my Travis stuff in my projects
Haskell
1
star
42

talk-on-scalacheck

Talk on ScalaCheck at Pittsburgh Scala Meetup on 2013-04-11
TeX
1
star
43

project-euler-python

Solutions to Project Euler using Python
Python
1
star
44

rspec-book-worked

My work through The RSpec Book
1
star
45

franklinchen.github.io

Source of blog no longer hosted here.
HTML
1
star
46

doubled-words-haskell

Functional programming demo, solving a duplicate-word detection problem.
Haskell
1
star
47

data-validation-demo-rust

Code for Pittsburgh Code and Supply presentation
Rust
1
star
48

github-for-developers-7

1
star
49

scala-fair-stream

Scala implementation of fair backtracking stream
Scala
1
star
50

Node_Tutorial

Tutorial files for Node.js
JavaScript
1
star
51

lilypond-music

LilyPond music scores
Perl
1
star
52

test-maven-java-dependency

Test Maven handling of Java dependency
Java
1
star
53

should-not-typecheck-example

Example of using should-not-typecheck
Haskell
1
star
54

haskell-stack-for-old-mac-os-x

Prebuilt binary of Haskell Stack for old Mac OS X
1
star
55

pittsburgh-code-and-supply-sampler-haskell

Haskell 5-minute lightning talk
Haskell
1
star
56

the-super-tiny-compiler-haskell

Simple demo of pipeline of parsing, transforming, pretty-printing.
Haskell
1
star
57

refactoring-puzzle-cpp

A refactoring puzzle in C++
C++
1
star
58

java-tau

Java implementation of the mathematical constant tau (Ο„)
Scala
1
star
59

jaxb-from-scala-classes

Just a test of using JAXB annotations on Scala classes
Scala
1
star
60

make-refmovie

Make QuickTime reference movie for streaming off our Darwin Streaming Server on Mac OS X
C++
1
star
61

data-validation-demo

Slides for Pittsburgh Code and Supply presentation
TeX
1
star
62

elm-tau

Provide the famous mathematical constant, tau, Ο„ = 6.2831...
Elm
1
star
63

number-words-haskell

Parse a natural number into possible words, in Haskell
Haskell
1
star
64

simulate-haskell-laziness-in-purescript

PureScript
1
star
65

httpd-protection-generator

Generate httpd.conf stuff for protecting directories on Mac OS X
Haskell
1
star
66

number-words-rust

Parse number into possible words, in Rust
Rust
1
star
67

annoying-boxes-puzzle

Solution to annoying boxes puzzle at http://blog.plover.com/math/logic/annoying-boxes.html
Haskell
1
star
68

reorder-chat-tiers

Reorder CHAT tiers so that gra/grt immediately follow mor/trn
Perl
1
star
69

update-chat-site

Update a CHAT Web site
Haskell
1
star