😎 The open-source, Haskell-built video editor for GIF makers.
Repository Index
47,133 repositories indexed
1–4 of 4 · Most stars
Generator of runtime monitors for flight and robotics applications.
- assurance
- autonomy
- cfs
- embedded-systems
Web3 API for Haskell
Tool for generating Locally Nameless definitions and proofs in Coq, working together with Ott