Experimental analyses for ReScript and OCaml: globally dead values/types, exception analysis, and termination analysis.

A parser combinator library for Julia

Truly independent web browser

signal-cli provides an unofficial commandline, JSON-RPC and dbus interface for the Signal messenger.

An overlay on Eglot for editing OCaml code using LSP

Tired of pushing to test your .gitlab-ci.yml?

CryptoBib BibTex files

Open source release of "Last-Level Cache Side-Channel Attacks Are Feasible in the Modern Public Cloud" (ASPLOS '24)

CeTZ: ein Typst Zeichenpaket - A library for drawing stuff with Typst.

A dead simple tool to sign files and verify digital signatures.

Library for Multiprecision Compile-Time and Run-Time Arithmetic (including Modular Arithmetic)

A parsing library that compiles grammars to combinators using elimination of left recursion

Language for high-assurance and high-speed cryptography

The OCaml findlib library manager

This repository contains a set of utilities to handle, import, export and transform proofs in sc-tptp format

Customize your git commit hashes!

Simple multiprocessing for Julia

Generic Constraint Development Environment

Unison's source code

Jasmin implementations of ML-DSA

A language server (based on LSP) for Jasmin.

Factor programming language

🤖 Just a command runner

Use native tab discarding method to automatically reduce memory usage of inactive tabs

Constantine: modular, high-performance, zero-dependency cryptography stack for verifiable computation, proof systems and blockchain protocols.

A type-level implementation of Smallfuck in Rust, doubling as a Turing-completeness proof for Rust's type system.