Polycircuit is an FHE components library built via FHERMA competitions

A curated list of awesome tools and technology to help you out with ricing on linux

For automated installation of Hyprland on Arch or any arch based distros

Collaborative office suite, end-to-end encrypted and open-source.

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive develo…

EasyCrypt: Computer-Aided Cryptographic Proofs

Playwright is a framework for Web Testing and Automation. It allows testing Chromium, Firefox and WebKit with a single API.

Finetune Llama 3.2, Mistral, Phi & Gemma LLMs 2-5x faster with 80% less memory

A massively parallel, high-level programming language

Instant, controllable, local pre-trained AI models in Rust

Lean 4 programming language and theorem prover

The math library of Lean 4

Neovim support for the Lean theorem prover

Hyprland is an independent, highly customizable, dynamic tiling Wayland compositor that doesn't sacrifice on its looks.

Main repository of SageMath

TFHE-rs: A Pure Rust implementation of the TFHE Scheme for Boolean and Integer Arithmetics Over Encrypted Data.

An attempt at a new LWE estimator

This is the development repository for the OpenFHE library. The current (stable) version is v1.2.1 (released on September 10, 2024).

A Microsoft-SEAL-compatible implementation of homomorphic encryption targeting Azure Sphere and other embedded devices.

Lightweight Armoury Crate alternative for Asus laptops and ROG Ally. Control tool for ROG Zephyrus G14, G15, G16, M16, Flow X13, Flow X16, TUF, Strix, Scar and other models

Espressif IoT Development Framework. Official development framework for Espressif SoCs.

Microsoft SEAL is an easy-to-use and powerful homomorphic encryption library.