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 80 22

2. SystemF SystemF Public

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

   Agda 26 1

3. homebrew-iguanatexmac homebrew-iguanatexmac Public

   Ruby 12 2

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

   Eleventy plugin for server-side MathJax rendering

   JavaScript 10 3

5. react-truncate-lines react-truncate-lines Public

   React component for text truncation.

   TypeScript 7

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

   Vim Script 3 4