-
-
My-Bookmarks Public
I put things here that are useful / interesting for me
Creative Commons Attribution Share Alike 4.0 International UpdatedAug 16, 2025 -
tlapm Public
Forked from tlaplus/tlapmThe TLA⁺ Proof Manager
OCaml BSD 2-Clause "Simplified" License UpdatedMay 2, 2025 -
-
-
vscode-tlaplus Public
Forked from tlaplus/vscode-tlaplusTLA+ language support for Visual Studio Code
TypeScript MIT License UpdatedDec 29, 2024 -
-
-
-
-
-
rustlings-attempt Public
My attempt to solve rustlings, done around 2022/2023
Rust MIT License UpdatedJul 6, 2024 -
-
-
-
Park Public
[abandoned/unfinished] Parser combinator lib I started writing while learning Scala.
Scala UpdatedJun 30, 2024 -
-
-
-
-
-
-
-
sci-dict-lt Public
Forked from naglissul/sci-dict-ltA website where you can find what some "exotic" Lithuanian translations of scientific terms mean in English
TypeScript UpdatedApr 16, 2024 -
miranda Public
Forked from ncihnegn/miranda[UNMAINTAINED FORK] Miranda is a pure, non-strict, polymorphic, higher order functional programming language designed by David Turner in 1983-6. https://codesync.global/media/open-sourcing-miranda-…
C Other UpdatedApr 16, 2024 -
-
-
-
-
{{ message }}