Giovanni Berti's repositories
moderncv.typst
A typst template inspired by LaTeX moderncv
logicamente
A first-order logic theorem prover with SLD resolution.
phone_finder
A simple program to look through Android phones' specs and generate an HTML report
awesome-typst
Awesome Typst Links
Language:JavaMIT000
eternal_foo
eternal_foo
HdrHistogram_rust
A port of HdrHistogram to Rust
Apache-2.0000
hugo-theme-stack
Card-style Hugo theme designed for bloggers
GPL-3.0000
MarkovText
A simple Markov Chain text generator written in C++.
monitorapa
Progetto per monitoraggio e notifica di non compliance GDPR alle PA con input da IndicePA
packages
Packages for Typst.
Language:RustApache-2.0000
ReactivePlayBilling
An RxJava wrapper for the Google Play Billing Library [work-in-progress]
typst
A new markup-based typesetting system that is powerful and easy to learn.
Apache-2.0000
wsdl-inline-imports
Inline external schema imports into a WSDL file.