2jacobtan

JavaScript-bookmarklets

bookmarklets

my-recommendations

dev tool recommendations

Obsidian

Obsidian.md vault

post-rfc

Blog post previews in need of peer review

Advent-of-Code-2020

https://adventofcode.com/2020 completed in Haskell

Haskell-Practice

Haskell scripts for practice

after-dark

🏮Visual Studio Code Theme

awesome-learning-haskell

A collection of resources which were useful to Tweagers for learning Haskell and its various aspects

bankSimu

Haskell code test: bank simulation

base-4.9.1.0

coq-tricks

Tricks you wish the Coq manual told you

elpi

Embeddable Lambda Prolog Interpreter

floskell

Floskell is a flexible Haskell source code pretty printer.

G2

G2Q

gf-core

Grammatical Framework core: compiler, shell & runtimes

haskell-sbv-experiment

Haskell_quick-start

Haskell starter pack with useful pre-set configs.

IHaskell

A Haskell kernel for IPython.

jt2-haskell-utils

Kattis

problems from https://open.kattis.com/

MMT

The MMT Language and System

multicast-test-tool

A python script to verify multicast communication on the local network

par-conc-haskell

[practice] parallel and concurrent programming in haskell (by Simon Marlow)

portfolio

small projects

sandbox

Learning exercises, random art, and code that will never, ever go into production

The-Voids-Of-Haskell

waydroid-scripts

Scripts to modify waydroid

wiwinwlh

What I Wish I Knew When Learning Haskell

You-Dont-Need-GUI

Stop relying on GUI; CLI **ROCKS**