Stars
Customizable and privacy-conscious open-source keyboard
Empowering everyone to build reliable and efficient software.
A Typst package for typesetting pseudocode
A no-frills curriculum vitae (CV) template using Typst and YAML to version control CV data.
A simple Typst CV template, inspired by AltaCV by LianTze Lim.
A refreshingly simple data-driven game engine built in Rust
kaldi-asr/kaldi is the official location of the Kaldi project.
CeTZ: ein Typst Zeichenpaket - A library for drawing stuff with Typst.
A new markup-based typesetting system that is powerful and easy to learn.
A static verifier for Rust, based on the Viper verification infrastructure.
Creusot helps you prove your code is correct in an automated fashion.
An exhaustive list of all Rust resources regarding automated or semi-automated formalization efforts in any area, constructive mathematics, formal algorithms, and program verification.
KeyDecoder app lets you use your smartphone or tablet to decode your mechanical keys in seconds.
Confidential AI deployment with secure enclaves đŸ”’
recreation of classic xeyes program for the web
Ressources et présentations pour le cours en XML-TEI des M2 TNAH de l'École des chartes
đŸ”’ Consolidating and extending hosts files from several well-curated sources. Optionally pick extensions for porn, social media, and other categories.
Vue3 Component for draggable and resizable elements.
Chronological maps to visualize time and space using the charting library AmCharts V4
Mina is a cryptocurrency protocol with a constant size blockchain, improving scaling while maintaining decentralization and security.
An enterprise-class UI design language and React UI library
Argon2 library compiled for browser runtime
A generator of weird files (binary polyglots, near polyglots, polymocks...)
openpilot is an operating system for robotics. Currently, it upgrades the driver assistance system on 300+ supported cars.
A tool to analyze multi-byte xor cipher
RSA attack tool (mainly for ctf) - retrieve private key from weak public key and/or uncipher data