Franklin Chen (FranklinChen)

FranklinChen

Geek Repo

Company:Carnegie Mellon University

Location:Pittsburgh, PA

Home Page:https://franklinchen.com

Twitter:@FranklinChen

Github PK Tool:Github PK Tool


Organizations
pittsburgh-haskell
TalkBank

Franklin Chen's repositories

spreadsheet-haskell

Spreadsheet demo in Haskell

Language:HaskellLicense:BSD-3-ClauseStargazers:16Issues:5Issues:0

validate-xml-rust

Validate XML files against their referenced XML Schemas concurrently and fast

immutable-list-rust

Immutable, persistent singly linked list for Rust for purely functional programming

covid-19-allegheny-county

COVID-19 data for Allegheny County, Pennsylvania

rust-tau

Mathematical constant tau for Rust.

Language:RustLicense:MITStargazers:6Issues:4Issues:1

type-directed-tdd-rust

Presentation on "Type-Directed TDD in Rust" for Pittsburgh Code and Supply

Language:TeXLicense:MITStargazers:5Issues:3Issues:0

talk-on-overusing-regular-expressions

Talk for Pittsburgh Tech Fest 2013

Language:TeXStargazers:4Issues:3Issues:0

test-loop-over-tests

Illustrate generating tests dynamically for Scala in ScalaTest and specs2

Language:ScalaStargazers:3Issues:3Issues:0

scala-fair-stream

Scala implementation of fair backtracking stream

Language:ScalaStargazers:1Issues:3Issues:0

7guis

7GUIs is a GUI programming usability benchmark.

Language:JavaScriptStargazers:0Issues:2Issues:0

agda-language-server

Language Server for Agda

Language:HaskellLicense:MITStargazers:0Issues:2Issues:0

autocomplete

Tries for efficient automatic word completion in Python, C++, Ruby & Java.

Language:ScalaLicense:BSD-2-ClauseStargazers:0Issues:3Issues:0

chat-py-demo

Demo of CHAT text and AST processing through Python

Language:RustStargazers:0Issues:2Issues:0

elm-lang.org

The full source for http://elm-lang.org/, the home-page of the Elm programming language. Open sourced as a way to teach people how to write and serve Elm code. Follow the instructions in README.md to get the site setup on your own machine.

Language:ElmLicense:NOASSERTIONStargazers:0Issues:3Issues:0

grmtools-nondeterministic-bug

(Please ignore this test repo.)

Language:RustStargazers:0Issues:2Issues:0

homebrew-dylan

Repository for a tap for homebrew for Mac OS X builds.

Language:RubyStargazers:0Issues:3Issues:0

learn

Sources for learn.adacore.com

Language:AdaLicense:CC-BY-4.0Stargazers:0Issues:2Issues:0

lh-plugin-demo

A small package that demonstrates how to use LiquidHaskell as a GHC plugin

Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:2Issues:0

materials

Bonus materials, exercises, and example projects for our Python tutorials

Language:HTMLLicense:MITStargazers:0Issues:2Issues:0

Parrot-Refactoring-Kata

Kata to help practice Pollymorphism (with apologies to Martin Fowler's "Refactoring")

Language:XSLTLicense:MITStargazers:0Issues:3Issues:0

program-imperatively-using-purescript

Program imperatively using PureScript, State monad and lenses

Language:PureScriptStargazers:0Issues:3Issues:0

purescript-react-basic-todomvc

TodoMVC with purescript-react-basic

Language:PureScriptLicense:MITStargazers:0Issues:2Issues:0

Racing-Car-Katas

The starting code for several code katas on a racing car theme

Language:JavaLicense:MITStargazers:0Issues:3Issues:0

rust-image

Image processing in Rust

Language:RustStargazers:0Issues:3Issues:0

spago

🍝 PureScript package manager and build tool

Language:PureScriptLicense:BSD-3-ClauseStargazers:0Issues:0Issues:0

spreadsheet-scala

Spreadsheet demo in Scala

Language:ScalaStargazers:0Issues:3Issues:0

talkbank-ipa-fragments

Convert ipa strings to talkbank phonetic transcripts and vice versa

Language:JavaStargazers:0Issues:0Issues:0

test-nutype

Test using Rust nutype crate.

Language:RustStargazers:0Issues:3Issues:0

wiwinwlh

What I Wish I Knew When Learning Haskell

Language:HaskellLicense:NOASSERTIONStargazers:0Issues:3Issues:0

wtecc-CICD_PracticeCode

CICD_PracticeCode

Language:PythonLicense:Apache-2.0Stargazers:0Issues:2Issues:0