franklinchen Goto Github PK
Name: Franklin Chen
Type: User
Company: Carnegie Mellon University
Bio: Human.
Twitter: FranklinChen
Location: Pittsburgh, PA
Blog: https://franklinchen.com
Name: Franklin Chen
Type: User
Company: Carnegie Mellon University
Bio: Human.
Twitter: FranklinChen
Location: Pittsburgh, PA
Blog: https://franklinchen.com
Template project for GitBucket plugin
A place for me to mess around with GitHub Actions
GNU Smalltalk Koans - a set of tests to teach you Smalltalk
Koans for go language.
Short example how to use GTest form Cmake project
Package for Go providing mathematical constant τ (tau)
Example of using XQuery with %gra in CHAT
Gretty is simple framework for networking
(Please ignore this test repo.)
Template for Google Mock & Test using CMake
The Happy parser generator for Haskell
Template for quickly and easily combining happy and alex
Mutable hash tables for Haskell, in the ST monad
Haskell bindings for PicoSAT solver
Group streams into substreams
Compositional pipelines
Main page for servant
Prebuilt binary of Haskell Stack for old Mac OS X
This is a "Hello, world" for Scaloid with sbt.
A hip inductive theorem prover!
Hoed - A Lightweight Haskell Tracer and Debugger
:gift: Precompiled binary formulae for the Homebrew package manager.
:beers: Core formulae for the Homebrew package manager
Repository for a tap for homebrew for Mac OS X builds.
My Mac OS X Homebrew tap
Lecture notes on univalent foundations of mathematics with Agda
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google ❤️ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.