faustind Goto Github PK

accelerate

Embedded language for high-performance array computations

advent_of_code_2020

My solutions to advent of code 2020

api-design-node-v3

[Course] API design in Node with Express v3

books-of-kubernetes

Examples for The Book of Kubernetes by Alan Hohn

bubbletea

A powerful little TUI framework 🏗

buf-language-server

Prototype for a Protobuf language server compatible with Buf.

climer

A simple timer in your terminal

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

dotfiles-legacy

epijudge

EPI Judge - Preview Release

frugal-s-police

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

gh-dash

A beautiful CLI dashboard for GitHub 🚀

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.

go.nvim

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

gone

Micro pomodoro CLI

gruvbox.nvim

Lua port of the most famous vim colorscheme

guide

The Uber Go Style Guide.

gurobipy

Integer programming assignments.

hermit

Haskell Equational Reasoning Model-to-Implementation Tunnel

hid-examples

Examples to accompany the book "Haskell in Depth"

hl-equipment-manager

Vue.js tutorial

incremental-reading

Anki add-on providing incremental reading features

intro-node-js

[Course] Code for Introduction to Node.js

jitt-api

api and presention for the jitt-app

jitt-app

ionic app for a Japanese IT terminology project

lambdapi

Proof assistant based on the λΠ-calculus modulo rewriting

language-pcf

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