A rust framework for creating web applications.
Brain training tool inspired by Shakuntala Devi's technics
A high-performance, lightweight date and time library for Rust with dramatically faster parsing, memory-efficient operations, and chrono-compatible formatting
An utility for generating and validating Australian Banking Association Cemtex file format
Open hybrid quantum/classical PNT performance simulator
The cmtc compiler providing cmtir-based passes to generate backends including FIRRTL, SystemVerilog and simulators.
A rule-based embedded HDL in Rust.
The macros for cmtrs.
Rewrites TLA⁺ specs to use Unicode symbols instead of ASCII, and vice-versa
create SVG diagrams easily
API client for Velociraptor (https://github.com/Velocidex/velociraptor)
A dynamic, interpreted programming language with a high-performance bytecode VM.
Leap is the Leap Encryption Access Project. This is a framework for the web administrative interface. Its components live in separate gems. You can find out more about leap on www.leap.se
This plugin for the leap platform distributes certs for the EIP client. It fetches the certs from a pool in CouchDB that is filled by leap-ca.
This web interface provides various administrative tools for the leap platform through plugins. Currently it manages user accounts and certificates.
This this plugin for the leap platform provides user signup and login. It uses Secure Remote Password for the authentication.