Name: Cheah Jer Fei
Type: User
Bio: Haskell Programmer.
Location: Malaysia
I'm a software engineer and I write Haskell at work.
I focus on writing well abstracted and reliable code. I believe funtional programming and a good type system are the right tools to help achieve this.
I also believe the correctness of program. Therefore, Iām keen to explore topics like Type Theory, Proof Assistant and Formal Verification.
You can reach out to me at Twitter @jeffhappily and LinkedIn Cheah Jer Fei
advent-of-code
https://adventofcode.com/
aws-codepipeline-s3-codedeploy-linux
Use this sample when creating a simple pipeline in AWS CodePipeline while following the Simple Pipeline Walkthrough tutorial. http://docs.aws.amazon.com/codepipeline/latest/userguide/getting-started-w.html
bank-simulation
cs61a
Homework and labs in cs61a https://inst.eecs.berkeley.edu/~cs61a/sp18/
facebook_clone_test_only
haskell
Footprints learning haskell
http-download
imp
jeffhappily
jeffhappily.github.io
Tech related blog
jlox
š¾
malodivo
manpm
Shows the relevant part of NPM module's README file right in your terminal
more-pizza
neuralnetwork
A simple backpropagation implementation following online courses from Siraj.
nft-grid
persistent-odbc
uses persistent connecting via hdbc odbc
plutus-apps
The Plutus application platform
plutus-extra
Helper libraries for Plutus.
quad
A simple CI server written in Haskell. https://leanpub.com/simple-haskell-book
raytracing
regex
A simple regex matcher
resume
My resume
retype
revo
Better and better
sc-tools
Select coins, build transactions
smos
A comprehensive self-management System in a TUI
stack
The Haskell Tool Stack
stackage
"Stable Hackage": vetted consistent packages from Hackage
svelte-reactive-form
A better version of form validation.
React
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
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
Django
The Web framework for perfectionists with deadlines.
Laravel
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.
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.
