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