Pinned Repositories
BobbyCarrot
Copy of the famous mobile phone game created by FDG Mobile Games
CleanForVSCode
Clean extension for VSCode
cloogle-js
Javascript (TypeScript actually) client for Cloogle
FStar-libs
Repo with some basic F* libs I use
FStarToyStaticAnalyser
JS-Star
Transpile F* terms to javascript on the fly during typechecking
nix-flake-fstar
Nix Flake for building F*
ocaml-of-json-schema
RyanairJs
Unofficial Ryanair library written in TypeScript
verified-abstract-interpreter
W95Psp's Repositories
W95Psp/nix-flake-fstar
Nix Flake for building F*
W95Psp/ocaml-of-json-schema
W95Psp/aeneas
A verification toolchain for Rust programs
W95Psp/agdapad
Agda as a collaborative multiplayer game
W95Psp/bertie
Bertie TLS 1.3 Implementation
W95Psp/catala
Programming language for literate programming law specification
W95Psp/edhoc-rs
EDHOC Implementation in Rust
W95Psp/fpm
W95Psp/fpm-rust
W95Psp/FStar
Verification system for effectful programs
W95Psp/hacl-star
HACL*, a formally verified cryptographic library written in F*
W95Psp/hacspec
A specification language for cryptography primitives.
W95Psp/hydra
Hydra, the Nix-based continuous build system
W95Psp/nix-portable-nixie
W95Psp/nixie
Put Nix in everything!
W95Psp/nixpkgs
Nix Packages collection
W95Psp/ocaml-sourcemaps
Sourcemap v3 library in OCaml
W95Psp/ocaml-ts-mode
OCaml major mode using tree-sitter
W95Psp/opam-repository
Main public package repository for opam, the source package manager of OCaml.
W95Psp/openmls
Rust implementation of the Messaging Layer Security (MLS) protocol
W95Psp/ppx_matches
Translates [%matches? <PATTERN>] into (function | <PATTERN> -> true | _ -> false)
W95Psp/RIOT-rs
Rust & RIOT combined for ergonomic embedded development
W95Psp/rust
Empowering everyone to build reliable and efficient software.
W95Psp/rust-playground-hax
W95Psp/squirrel-prover
The Squirrel Prover repository. An interactive prover for the formal verification of security protocols.
W95Psp/test
W95Psp/tokei
Count your code, quickly.
W95Psp/trace
A Rust procedural macro for tracing function execution
W95Psp/typhon-test
W95Psp/z3-nix-versions