Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

Projects in Awesome Lists by sourcedennis

A curated list of projects in awesome lists by sourcedennis .

https://github.com/sourcedennis/rust-pi-forall

A partial re-implementation of pi-forall in Rust

dependent-types

Last synced: 16 Nov 2024

https://github.com/sourcedennis/aws-lambda-z3

A tutorial on running Z3 on AWS Lambda, with Rust

aws-lambda z3

Last synced: 16 Nov 2024