Block or report lemueldls

Pinned Loading

1. A local-first, cross-platform note-taking app leveraging the Typst ecosystem. Designed to minimize distractions and enhance the retention of information.

   Vue 51 2

2. Website for the ACM college chapter at the City College of New York.

   TypeScript

3. Proof-oriented meta-programming and specification language designed so that types and values live in the same logical space.

   Rust

4. A correct and efficient TypeScript type checker and compiler with additional experiments

   Rust 2.7k 49

5. Dotfiles using Home Manager.

   Nix

6. Kaetram is an open-source 2D HTML5 MMORPG. It is an extended version of BrowserQuest (BQ).

   TypeScript 722 199