Skip to content
View LauraVoinea's full-sized avatar
3 followers · 2 following

Block or report LauraVoinea

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Stars

Showing results

alcestes / mpstk

Multiparty Session Types toolKit

Scala 15 5 Updated May 7, 2025

jeremysinger / capabilitiesforcoders

Open-source textbook about CHERI capabilities, for a developer audience

Python 16 8 Updated May 29, 2025

algorithmica-org / algorithmica

A computer science textbook

Jupyter Notebook 4,203 413 Updated Aug 11, 2024

jfdm / idris2-toolkit

I collection of things I use in Idris2 that I dump into private projects to avoid dependency hell.

Idris 4 Updated Jun 14, 2023

liborui0315 / rust

project

Rust 1 Updated Sep 1, 2023

Bromind / nuscr

Forked from nuscr/nuscr

A toolkit to manipulate Scribble-style multiparty protocols, based on classical multiparty session type theory.

OCaml 2 Updated Jun 11, 2024

MostlyScottishPolitics / MostlyScottishP

Data visualisation web application for Scottish Parliament

Python 2 2 Updated Jan 27, 2015