waterlens
Follow
Highlights
- Pro
-
-
mlscript Public
Forked from hkust-taco/mlscriptThe MLscript programming language. Functional and object-oriented; structurally typed and sound; with powerful type inference. Soon to have full interop with TypeScript!
-
-
-
asciidork Public
Forked from jaredh159/asciidorkAn Asciidoc parser/backend written in Rust
Rust UpdatedDec 4, 2024 -
-
-
mpl Public
Forked from MPLLang/mplThe MaPLe compiler for efficient and scalable parallel functional programming
-
-
llvm-project Public
Forked from llvm/llvm-projectThe LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
-
-
-
-
-
neovim Public
Forked from neovim/neovimVim-fork focused on extensibility and usability
Vim Script Other UpdatedOct 27, 2023 -
Dottore-Genius-Invokation-TCG-Simulator Public
Forked from Jarvis-Yu/Dottore-Genius-Invokation-TCG-SimulatorA highly customizable Genius Invokation TCG simulator for training AI. (PyPI package: dgisim)
Python MIT License UpdatedSep 7, 2023 -
-
-
obsidian-latex-suite Public
Forked from artisticat1/obsidian-latex-suiteMake typesetting LaTeX as fast as handwriting through snippets and text expansion
TypeScript MIT License UpdatedJan 17, 2023 -
-
koka Public
Forked from koka-lang/kokaKoka language compiler and interpreter
Haskell Other UpdatedNov 17, 2022 -
zotero-pdf-translate Public
Forked from windingwind/zotero-pdf-translatePDF translation add-on for Zotero 6
TypeScript GNU Affero General Public License v3.0 UpdatedNov 14, 2022 -
-
Programming-Language-Benchmarks Public
Forked from hanabi1224/Programming-Language-BenchmarksYet another implementation of computer language benchmarks game
C# MIT License UpdatedOct 31, 2022 -
-
-
-
-
battery-savior Public
A utility helping you save your power consumption of your PC
-