lentilus/zeta
a performant lsp for navigating typst notes
learning math
Repositories
lentilus/forest
an attempt at forester-style note taking
lentilus/agda-devenv
lentilus/pass
lentilus/zeta-kodama-demo
A small demo on how zeta and kodama can be used as a note-taking system
lentilus/fastex.nvim
lentilus/kodama
A Typst-friendly static Zettelkästen site generator.
lentilus/typst-scribe
Write math in ascii notation using typst.
lentilus/dotfiles
my personal dotfiles - deployed using nix
lentilus/surreal-numbers-journey
lentilus/tree-sitter-mdlink
a simple grammar for detecting markdown style links
lentilus/nvim-flake
lentilus/typstar
Neovim plugin for Typst providing auto snippets, excalidraw integration and [standalone] Anki flashcard export
lentilus/Lean-Playground
lentilus/glsp
Language Server Protocol SDK for Go
lentilus/ml-final
lentilus/typist.nvim
my personal math snippets based on typstar
lentilus/awesome-typst
Awesome Typst Links
lentilus/typst-packages
Packages for Typst.
lentilus/machine-learning-playground
lentilus/lentilus
lentilus/pass-gocrypt
forked from https://gitea.angry.im/PeterCxy/pass-gocrypt.git
lentilus/num-lin-algebra
numerical linear algebra with python
lentilus/anki-connect-docker
semi-headless anki instance with anki connect for scripting and syncing from github actions
lentilus/tree-sitter-typst
Tree Sitter grammar for Typst
lentilus/pkm-mathematics
lentilus/texgoanki
lentilus/swey
key listener and remapper for the sway window manager