Stars
Qiskit is an open-source SDK for working with quantum computers at the level of extended quantum circuits, operators, and primitives.
being the teaching materials and exercises for CS410 Advanced Functional Programming at the University of Strathclyde, 2022/23 session
Erlang build tool that makes it easy to compile and test Erlang applications and releases.
My final year project at the University of Strathclyde
Haskell's IO simulator which closely follows core packages (base, async, stm).
Setting up GHC, cabal, stack on for Haskell-related CIs
Robust, Ubiquitous and Massively Scalable Messaging Platform (XMPP, MQTT, SIP Server)
A community-maintained collection of bugs, vulnerabilities, and exploits in apps using ZK crypto.
Agda formalisation of dual-context constructive modal logics.
PureScript implementation of the Marlowe smart contract lanugage
Tutorials and programming exercises for learning Q# and quantum computing
Quantum Game (old version) - a puzzle game with real quantum mechanics in a browser
Code inspired by Bioinformatics Algorithms: an Active Learning Approach.
Playing with zero-knowledge proof languages
A framework for distributed systems verification, with fault injection
Proofs written in Lean4 for the core katydid validation algorithm
Things that are needed for formally verifying a system