Stars
Browse starred repositories and topics
Sort: Recently starred
Starred Repositories
-
Supercharge your Org daily/weekly agenda by grouping items
-
The most advanced responsive front-end framework in the world. Quickly create prototypes and production code for sites that work on any kind of device.
-
File formats dissections and more...
-
Analyze Apache and Rails logs from the command line and generate HTML and txt outputs
-
The goal is to help studying logic and solvers by providing easy-to-use, pure browser-based javascript tools for both full classical predicate logic and propositional formulas.
-
Documentation about the Theorem Prover Museum
-
Create, manipulate, and verify propositional logic sentences
-
-
An implementation of Org mode without the dependency of Emacs - built for mobile and desktop browsers
-
A lightweight system monitor similar to conky with html and css for themes