franklinchen Goto Github PK
Name: Franklin Chen
Type: User
Company: Carnegie Mellon University
Bio: Human.
Twitter: FranklinChen
Location: Pittsburgh, PA
Blog: https://franklinchen.com
Franklin Chen's Projects
lambdajam-functional-programming-in-scala
Base project for "Introduction to functional programming in scala" workshop, for LambdaJam Australia conference.
lambdajam-patterns-in-types
Base project for "Patterns in Types" jam, for LambdaJam Australia conference.
lambdajam-zippers-comonads
Base project for "Zippers, Comonads and Data Structures in Scala" workshop, for LambdaJam Australia conference.
langlangmatrix
The Language ⇔ Language Matrix, running languages in other languages
learn
Sources for learn.adacore.com
learn-halogen
Learn purescript-halogen using a bottom-up apporach via this "clone-and-play" repository
learn-you-some-erlang
Code from the book "Learn You Some Erlang For Great Good!"
learnxinyminutes-docs
Code documentation written as code! How novel and totally my idea!
lens-simple
simplified import of lens-family
lh-plugin-demo
A small package that demonstrates how to use LiquidHaskell as a GHC plugin
lift-kata
starting position for the Lift Kata with an Approval Testing approach
lightning-talk-on-hypothesis
5-minute lightning talk on Python "hypothesis" library
lilypond
A Lilypond representation
lilypond-music
LilyPond music scores
lisp-koans
Common Lisp Koans is a language learning exercise in the same vein as the ruby koans, python koans and others. It is a port of the prior koans with some modifications to highlight lisp-specific features. Structured as ordered groups of broken unit tests, the project guides the learner progressively through many Common Lisp language features.
llvm-hs-examples
Examples for Haskell bindings to LLVM
llvm-hs-kaleidoscope
Kaleidoscope Tutorial using llvm-hs
local-channel
Helps you write self-contained components in Elm
logbackwithscala
Integration of Logback with Scala
logger
A fast logging system for Haskell
logical-foundations
Personal mirror of https://softwarefoundations.cis.upenn.edu/current/lf-current/lf.tgz since apparently no public repo
maam
A monadic approach to static analysis following the methodology of AAM
macropy
Macros in Python: quasiquotes, case classes, LINQ and more!
make-refmovie
Make QuickTime reference movie for streaming off our Darwin Streaming Server on Mac OS X
markov-elear-haskell
Haskell port of Clojure project https://github.com/gigasquid/markov-elear
materials
Bonus materials, exercises, and example projects for our Python tutorials
math-tau
Perl module for the mathematical constant tau
matplotlib-tutorial
Matplotlib tutorial for beginner
mattfoster.github.com
My blog
merry-fxmas-clojure
Merry f(x)-mas to Bill, in Clojure
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.