Popular repositories Loading

1. IguanaTexMac IguanaTexMac Public archive

   Forked from Jonathan-LeRoux/IguanaTex

   IguanaTex for mac (Now archived. For the up-to-date version please refer to https://github.com/Jonathan-LeRoux/IguanaTex)

   VBA 82 22

2. SystemF SystemF Public

   An Agda formalization of System F and the Brown-Palsberg self-interpreter

   Agda 24 1

3. react-truncate-lines react-truncate-lines Public

   React component for text truncation.

   TypeScript 7

4. eleventy-plugin-mathjax eleventy-plugin-mathjax Public

   Eleventy plugin for server-side MathJax rendering

   JavaScript 7 3

5. homebrew-iguanatexmac homebrew-iguanatexmac Public

   Ruby 5 2

6. vim-agda-async vim-agda-async Public

   Vim Script 3 4