Discover @faustind Open Source projects

Faustin Date (@faustind)

faustind

Stars
39
Global Rank 404,314 (Top 14 %)
Followers 11
Following 16
Registered about 8 years ago
Most used languages

Go
30.8 %

Python
23.1 %

Haskell
23.1 %

Vim Script
7.7 %

TeX
7.7 %

Vue 7.7 %
Location 🇯🇵 Japan
Country Total Rank 7,507
Country Ranking

Haskell
219

TeX
554

Vim Script
844

Go
945

Vue 1,255

Python
5,020

climer

A simple timer in your terminal

ghc-rules

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

dotfiles-legacy

language-pcf

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

reading-hermit

A reading report of the paper Reasoning with the HERMIT by Farmer et al, Haskell'15

frugal-s-police

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

ML

AI related training

real-world-nuxt

experimenting with nuxt.js

advent_of_code_2020

My solutions to advent of code 2020

puzzlesol

My solutions to some algorithmic and coding problems

tomato

A simple pomodoro timer in your terminal

gurobipy

Integer programming assignments.

monkey

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