Paul Liétar's repositories
dfuse-tool
A set of python scripts to create dfu files and upload them to stm32 boards
pony-playpen
A web interface for running Pony code
advent-2021
The Advent of Code, but it's a different language every day
did-web-demo
did:web generation sample using GitHub Pages
verona-advent
Advent of Code in Verona
coreaudio-rs
A friendly rust interface to Apple's Core Audio API.
gh-pages-template
Fork this to start your own site or template for free hosting on GitHub Pages
impermanence
Modules to help you handle persistent state on systems with ephemeral root storage [maintainer=@talyz]
llvm-project
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies. Note: the repository does not accept github pull requests at this moment. Please submit your patches at http://reviews.llvm.org.
nixpkgs-verona
Nixpkgs overlay for the Verona compiler
openenclave-curl
libcurl build files to enable use in Open Enclave applications
rapidcheck
QuickCheck clone for C++ with the goal of being simple to use with as little boilerplate as possible.