Lucas Franceschino's repositories
CleanForVSCode
Clean extension for VSCode
nix-flake-fstar
Nix Flake for building F*
aeneas
A verification toolchain for Rust programs
Apache-2.0000
agdapad
Agda as a collaborative multiplayer game
Language:JavaScript000
edhoc-rs
EDHOC Implementation in Rust
BSD-3-Clause000
Language:Rust000
hacl-star
HACL*, a formally verified cryptographic library written in F*
Language:F*Apache-2.0000
hydra
Hydra, the Nix-based continuous build system
Language:PerlGPL-3.0000
nixie
Put Nix in everything!
GPL-2.0000
ocaml-sourcemaps
Sourcemap v3 library in OCaml
Language:OCamlMIT000
ocaml-ts-mode
OCaml major mode using tree-sitter
000
ppx_matches
Translates [%matches? <PATTERN>] into (function | <PATTERN> -> true | _ -> false)
MIT000
RIOT-rs
Rust & RIOT combined for ergonomic embedded development
Apache-2.0000
rust
Empowering everyone to build reliable and efficient software.
NOASSERTION000
Language:TypeScriptApache-2.0000
squirrel-prover
The Squirrel Prover repository. An interactive prover for the formal verification of security protocols.
000
Language:Nix000
Language:Nix000
Language:Nix000