Lists (2)
Stars
Bubble Card is a minimalist card collection for Home Assistant with a nice pop-up touch.
OPRA is an open, community-maintained directory of product information and EQ compensation curves that optimize a wide range of headphone models.
A highly customizable homepage (or startpage / application dashboard) with Docker and service API integrations.
Scripts for publishing VS Code extensions to open-vsx.org
Cryptographic Primitive Code Generation by Fiat
The Bibliotheca Anonoma: A wikified library of the internet's treasures. Researching Something Awful, 2channel, 4chan, and other imageboard/textboard communities.
Small python-gtk application, which helps the user to merge or split PDF documents and rotate, crop and rearrange their pages using an interactive and intuitive graphical interface.
[@@ deriving] plugin to generate Cmdliner sub-command groups, and ppx rewriter to generate Cmdliner evaluations.
The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environmen…
An OCaml kernel for Jupyter (IPython) notebook
Rust制作的BiliBili漫画下载器：无环境依赖，高性能，支持导出pdf、epub、zip
A hands-on tutorial on the new parallelism features in OCaml 5
🚀Memory safe, blazing fast, configurable, minimal hello world written in rust(🚀) in a few lines of code with few(1247🚀) dependencies🚀
OCaml ppx to include binary data from a file as a string
OCaml interface for creating Dockerfiles
Ppxlib based rewriter inspired by Python string `format()`.
A collection of Roon Extensions that let audio enter into your Roon system
📝 Markdown code for lots of small badges 🎀 📌 (shields.io, forthebadge.com etc) 😎. Contributions are welcome! Please add yours!
Github Pages template based upon HTML and Markdown for personal, portfolio-based websites.
personal website + blog for every github user