Franklin Chen's repositories
AlgorithmW
Example implementation of Algorithm W for Hindley-Milner type inference
baker-samefringe-cpp
C++ implementation of Henry Baker's same-fringe code http://home.pipeline.com/~hbaker1/Iterator.html
dotty-example-project
An example sbt project that compiles using Dotty
example-servant-elm
Example for a web app with a servant backend and an elm frontend
flare-example
Quick start project for purescript-flare
FranklinChen
Special repo for GitHub profile
github-actions-scratchpad
A place for me to mess around with GitHub Actions
homebrew-core
:beers: Core formulae for the Homebrew package manager
HoTT-UF-Agda-Lecture-Notes
Lecture notes on univalent foundations of mathematics with Agda
it-cert-automation-practice
Google IT Automation with Python Professional Certificate - Practice files
mooc-exercises
Exercises for Web3 MOOC
package-sets
PureScript packages for Psc-Package and Spago
purescript-0.12.0-hello-world
PureScript 0.12.0 Hello World
purescript-flare
A special-purpose UI library for Purescript
purescript-graphics-vis
A library for interactively creating graphics visualizations
purescript-jordans-reference
Learn PureScript with this "clone and play" repository
ScalaJSReactTutorial
The 'Intro to React' tutorial transposed into scala.js
state-machine-testing-course
Course for learning how to apply property-based state-machine testing
sudoku-example
An example of C++ Sudoku solver using MiniSat library.
test-twirl
Test Twirl for text generation.
zio-by-example
Source code for "ZIO by example" blog post.