Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists by ahelwer
A curated list of projects in awesome lists by ahelwer .
https://github.com/ahelwer/paxoscluster
A framework for distributed applications
Last synced: 28 Oct 2024
https://github.com/ahelwer/finitemodelchecker
A finite model checker for exhaustively testing C# code
Last synced: 15 Oct 2024
https://github.com/ahelwer/avalanche-analysis
Analysis of the Avalanche family of protocols using formal methods
Last synced: 04 Dec 2024
https://github.com/ahelwer/quantum-experiments
Q# code snippets written when exploring quantum computing concepts
Last synced: 04 Dec 2024
https://github.com/ahelwer/ahelwer.github.io
Personal website for outdoor trip reports
Last synced: 04 Dec 2024
https://github.com/ahelwer/computerized-mathematics
Exploring concepts & tools in computerized mathematics
Last synced: 04 Dec 2024
https://github.com/ahelwer/tree-sitter-test
For testing tree-sitter grammar functionality
Last synced: 04 Dec 2024
https://github.com/ahelwer/tree-sitter-prism
Incomplete tree-sitter grammar for the PRISM probabilistic modeling language
Last synced: 23 Oct 2024
https://github.com/ahelwer/formal-methods-experiments
Some experiments with formal methods languages & tooling
Last synced: 04 Dec 2024
https://github.com/ahelwer/parse-sany-output-ocaml
Parse the exported XML output of the SANY TLA+ parser in OCaml
Last synced: 15 Nov 2024