Pinned Repositories
Advent-of-Code-2020
https://adventofcode.com/2020 completed in Haskell
CS50ai
https://cs50.harvard.edu/ai/2020/ completed with certificate
Haskell-Practice
Haskell scripts for practice
JavaScript-bookmarklets
bookmarklets
my-recommendations
dev tool recommendations
Obsidian
Obsidian.md vault
post-rfc
Blog post previews in need of peer review
Power-Query-M
Extract, Transform, Load (ETL) using Power Query
Statistical-Learning-coursework
Statistical / Machine learning
TestDome-practice
Python and SQL practice questions on www.TestDome.com
2jacobtan's Repositories
2jacobtan/JavaScript-bookmarklets
bookmarklets
2jacobtan/my-recommendations
dev tool recommendations
2jacobtan/Obsidian
Obsidian.md vault
2jacobtan/post-rfc
Blog post previews in need of peer review
2jacobtan/Advent-of-Code-2020
https://adventofcode.com/2020 completed in Haskell
2jacobtan/Haskell-Practice
Haskell scripts for practice
2jacobtan/after-dark
🏮Visual Studio Code Theme
2jacobtan/awesome-learning-haskell
A collection of resources which were useful to Tweagers for learning Haskell and its various aspects
2jacobtan/bankSimu
Haskell code test: bank simulation
2jacobtan/base-4.9.1.0
2jacobtan/coq-tricks
Tricks you wish the Coq manual told you
2jacobtan/elpi
Embeddable Lambda Prolog Interpreter
2jacobtan/floskell
Floskell is a flexible Haskell source code pretty printer.
2jacobtan/G2
2jacobtan/G2Q
2jacobtan/gf-core
Grammatical Framework core: compiler, shell & runtimes
2jacobtan/haskell-sbv-experiment
2jacobtan/Haskell_quick-start
Haskell starter pack with useful pre-set configs.
2jacobtan/IHaskell
A Haskell kernel for IPython.
2jacobtan/jt2-haskell-utils
2jacobtan/Kattis
problems from https://open.kattis.com/
2jacobtan/MMT
The MMT Language and System
2jacobtan/multicast-test-tool
A python script to verify multicast communication on the local network
2jacobtan/par-conc-haskell
[practice] parallel and concurrent programming in haskell (by Simon Marlow)
2jacobtan/portfolio
small projects
2jacobtan/sandbox
Learning exercises, random art, and code that will never, ever go into production
2jacobtan/The-Voids-Of-Haskell
2jacobtan/waydroid-scripts
Scripts to modify waydroid
2jacobtan/wiwinwlh
What I Wish I Knew When Learning Haskell
2jacobtan/You-Dont-Need-GUI
Stop relying on GUI; CLI **ROCKS**