Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists by tsung-ju
A curated list of projects in awesome lists by tsung-ju .
https://github.com/tsung-ju/systemf
An Agda formalization of System F and the Brown-Palsberg self-interpreter
Last synced: 18 Dec 2024
https://github.com/tsung-ju/eleventy-plugin-mathjax
Eleventy plugin for server-side MathJax rendering
eleventy eleventy-plugin latex math mathjax
Last synced: 18 Dec 2024
https://github.com/tsung-ju/react-truncate-lines
React component for text truncation.
Last synced: 18 Dec 2024
https://github.com/tsung-ju/parallax-background-image
simple, responsive parallax scrolling effect.
Last synced: 18 Dec 2024