mirryi

followers

following

stars

Organizations

hazelgrove

michiganhackers

stogacs

Eric Zhao's starred repositories

actual-server

Actual's server

Language:JavaScriptMIT291700

actual

A local-first personal finance app

Language:TypeScriptMIT1265300

typst-fletcher

Typst package for drawing diagrams with arrows, built on top of CeTZ.

Language:TypstMIT27500

lean4

Lean 4 programming language and theorem prover

Language:LeanApache-2.0403900

mitex

LaTeX support for Typst, powered by Rust and WASM. https://mitex-rs.github.io/mitex/

Language:RustApache-2.024000

lean.nvim

neovim support for the Lean theorem prover

Language:LuaMIT22800

wmnusmv.vim

Vim plugin for NuSMV

Language:VimL800

typst-lsp

A brand-new language server for Typst, plus a VS Code extension

Language:RustMIT113600

typst-preview.nvim

Low latency typst preview for Neovim

Language:LuaGPL-3.021400

typst.vim

Vim plugin for Typst

Language:Vim ScriptMIT26500

polylux

A package for creating slides in Typst

Language:JuliaMIT105600

SilverDict

Web-Based Alternative to GoldenDict

Language:PythonGPL-3.013600

yomitan

Japanese pop-up dictionary browser extension. Successor to Yomichan.

Language:JavaScriptGPL-3.094400

yomitan-dictionaries

📚 Japanese and Chinese dictionaries for Yomitan.

Language:JavaScript28500

Jitendex

A free, offline, and openly licensed Japanese-to-English dictionary. Updates weekly!

CC-BY-SA-4.021400

1lab

A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory

Language:AgdaAGPL-3.031700

Junicode-font

A new version of Junicode font

Language:HTMLOFL-1.137700

nota

A document language for the browser

Language:TypeScriptMIT69400

third-stats

Thunderbird add-on turning your emails into beautifully visualized email account stats. Built with Vue.js and Chart.js

Language:VueMIT20100

libertinus

The Libertinus font family

Language:PythonNOASSERTION92800

diamond-lang

A prototype programming language with polymorphic reachability types that track freshness, sharing and separation.

Language:Scala3700

alcotest

A lightweight and colourful test framework

Language:OCamlISC43800

cubical

An experimental library for Cubical Agda

Language:AgdaNOASSERTION44000

removedupes

Remove Duplicate Messages

Language:JavaScriptNOASSERTION8100

quickmove-extension

Quick Folder Move Add-on for Thunderbird

Language:JavaScript7800

ProtonMail-Encryption-Indicators-for-Thunderbird

Thunderbird plugin to show E2E-encryption status for ProtonMail Bridge emails.

Language:JavaScriptGPL-3.01100

dkim_verifier

DKIM Verifier Extension for Mozilla Thunderbird

Language:JavaScriptMIT20400

confirm-address

Automatically exported from code.google.com/p/confirm-address

Language:JavaScript3600

thunderbird-conversations

An extension for Thunderbird that allows you to view threads as "real" conversations, including your own emails. This extension also adds a bunch of useful UI features in the conversation view.

Language:JavaScriptMPL-2.064400

open-anki-jlpt-decks

Open source and updatable JLPT Vocabulary Anki Decks

Language:PythonMIT10700