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/Grammatical-Framework-tutorial
2jacobtan/CS50ai
https://cs50.harvard.edu/ai/2020/ completed with certificate
2jacobtan/2jacobtan.github.io
using https://jaspervdj.be/hakyll/
2jacobtan/agda-lecture-notes
Agda lecture notes for the Functional Programming course at TU Delft
2jacobtan/algorithms
Minimal examples of data structures and algorithms in Python
2jacobtan/Alloy-Practice
2jacobtan/aspnet-core-3-jwt-authentication-api
ASP.NET Core 3.1 JWT Authentication API
2jacobtan/aspnet-core-3-jwt-refresh-tokens-api
ASP.NET Core 3.1 API - JWT Authentication with Refresh Tokens
2jacobtan/backup
backup for Unix configs
2jacobtan/CIS-194-Fall-2016-
2jacobtan/complaw
Main repository for the Research Programme in Computational Law
2jacobtan/CSharp-experiment
For learning
2jacobtan/Elm-compiler
Compiler for Elm, a functional language for reliable webapps.
2jacobtan/FSharp-experiment
For learning
2jacobtan/generic-data
Generic data types in Haskell, utilities for GHC.Generics
2jacobtan/GLIF
The Grammatical Logical Inference Framework
2jacobtan/hacker-laws
💻📖 Laws, Theories, Principles and Patterns that developers will find useful. #hackerlaws
2jacobtan/Haskell
Everything haskell - snippets, notes and exercises
2jacobtan/Haskell-Configs
2jacobtan/Haskell-scripts
2jacobtan/Hasklig
Hasklig - a code font with monospaced ligatures
2jacobtan/language-ext
C# functional language extensions - a base class library for functional programming
2jacobtan/pandas-script
clean / merge data
2jacobtan/react-jwt-authentication-example
React - JWT Authentication Tutorial & Example
2jacobtan/React-tutorial
https://reactjs.org/tutorial/tutorial.html
2jacobtan/scihub_bookmark
Javascript bookmarklet for Sci-Hub
2jacobtan/TAPL
Types and Programming Languages, Benjamin C. Pierce (exercises)
2jacobtan/WebApplication1
ASP.NET assignment
2jacobtan/write-you-a-haskell
Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)
2jacobtan/You-Dont-Need-Loops
Avoid The One-off Problem, Infinite Loops, Statefulness and Hidden intent.