faustind

climer

A simple timer in your terminal

accelerate

Embedded language for high-performance array computations

advent_of_code_2020

My solutions to advent of code 2020

bubbletea

A powerful little TUI framework 🏗

frugal-s-police

A line bot that reminds you to cancel your subscriptions on time.

ghc-dump

A GHC plugin and library for analysing GHC Core

ghc-rules

A command line tool to visualize GHC Core rules from a single Haskell module

GitHubGraduation-2022

Join the GitHub Graduation Yearbook and "walk the stage" on June 11.

guide

The Uber Go Style Guide.

gurobipy

Integer programming assignments.

incremental-reading

Anki add-on providing incremental reading features

language-pcf

An implementation of the Programming language for Computable Functions (PCF).

line-bot-sdk-go

LINE Messaging API SDK for Go

monkey

An implementation of the monkey programming language as presented in Thorsten Ball's "writing an interpreter in go"

presentations

Various presentations I gave

real-world-nuxt

experimenting with nuxt.js

tomato

A simple pomodoro timer in your terminal

vscode-markdown-pdf

Markdown converter for Visual Studio Code

books-of-kubernetes

Examples for The Book of Kubernetes by Alan Hohn

buf-language-server

Prototype for a Protobuf language server compatible with Buf.

compose

Define and run multi-container applications with Docker

depot-on-rails

Coding along the depot rails application from Agile Web Development with Rails 7 by Sam Ruby and Dave Thomas

gh-dash

A beautiful CLI dashboard for GitHub 🚀

go.nvim

Modern Go dev plugin, based on gopls, treesitter AST, Dap and a variety of go tools.

gruvbox.nvim

Lua port of the most famous vim colorscheme

mysql_cc

Reading MySQL Crash Course by Rick Silva

ruby_tutorial_hello_app

ruby_tutorial_sample_app

ruby_tutorial_toy_app

tmux

tmux source code