Waterlens's repositories
battery-savior
A utility helping you save your power consumption of your PC
WholeProgramCallGraph
Collect static call graph of a program by llvm
mlscript
The MLscript programming language. Functional and object-oriented; structurally typed and sound; with powerful type inference. Soon to have full interop with TypeScript!
cpp-effects
Effect handlers in C++
Dottore-Genius-Invokation-TCG-Simulator
A highly customizable Genius Invokation TCG simulator for training AI. (PyPI package: dgisim)
duckscript
Simple, extendable and embeddable scripting language.
koka
Koka language compiler and interpreter
lab-1
Lab 1: Lambda
llvm-project
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
neovim
Vim-fork focused on extensibility and usability
obsidian-latex-suite
Make typesetting LaTeX as fast as handwriting through snippets and text expansion
Programming-Language-Benchmarks
Yet another implementation of computer language benchmarks game
storage
store some files
waterlens-blog
Personal blog
zotero-pdf-translate
PDF translation add-on for Zotero 6