Pinned Repositories
CDCLSAT
circulare
change.org Hack Summit
concrete-semantics-solutions-2019
dotfiles
greek-polytonic
A Polytonic Greek Input Method for Emacs using Quail
HMMTagger
A straightforward HMM Tagger implemented in python2 utilizing unmodified Kneser-Ney smoothing.
jest-watch-bug
nestjs-standard-middleware
Boilerplate for including standard ExpressJS middleware into a NestJS project as a submodule following a NestJS paradigm.
openvpn_xor
OpenVPN patched with Tunnelblick's XOR patch, packaged for Ubuntu.
jhanschoo's Repositories
jhanschoo/relay-prisma-bug
jhanschoo/writerite
jhanschoo/dotfiles
jhanschoo/aoc
jhanschoo/ARC-AGI
The Abstraction and Reasoning Corpus
jhanschoo/Burrito
An overlay tool for Guild Wars 2 that works on linux
jhanschoo/codecrafters-git-python
jhanschoo/codecrafters-interpreter-ocaml
jhanschoo/codecrafters-redis-go
jhanschoo/course22
The fast.ai course notebooks
jhanschoo/course22p2
course.fast.ai 2022 part 2
jhanschoo/fastai
jhanschoo/fastbook
The fastai book, published as Jupyter Notebooks
jhanschoo/graphql-yoga
🧘 Rewrite of a fully-featured GraphQL Server with focus on easy setup, performance & great developer experience. The core of Yoga implements WHATWG Fetch API and can run/deploy on any JS environment.
jhanschoo/jetbrains-one-dark-theme
One Dark theme for JetBrains.
jhanschoo/lean_complexity
Complexity analysis in Lean
jhanschoo/lean_exercises
jhanschoo/maelstrom-demo
jhanschoo/mantine
React components library with native dark theme support
jhanschoo/mathematics_in_lean
The user home repository for the Mathematics in Lean tutorial.
jhanschoo/mathematics_in_lean_source
Source code for the Mathematics in Lean tutorial.
jhanschoo/obsidian-minimal-settings
Settings plugin to control colors and fonts in Minimal Theme
jhanschoo/pennylane_codebook
jhanschoo/pothos
Pothos GraphQL is library for creating GraphQL schemas in typescript using a strongly typed code first approach
jhanschoo/project_euler
jhanschoo/qmk_firmware
QMK, forked for ZSA's Oryx Configurator (to safeguard stability)
jhanschoo/RenJS-V2
RenJS Typescript Version
jhanschoo/texts_lean
jhanschoo/tm-models
A collection of models of Turing Machine variants
jhanschoo/vscode-graphql-bug-demo