Generator of runtime monitors for flight and robotics applications.
- assurance
- autonomy
- cfs
- embedded-systems
Repository Index
87,573 visible repositories in the index
25–33 of 33 · Most stars
Generalized bananas, lenses and barbed wire
A concise and readable language for Firestore security rules, similar to Firebase Bolt.
- firebase-firestore
- haskell
- typescript
- parser-combinators
A package manager for PureScript based on package sets
- purescript
- package-manager
Automates certain common tasks that you do during programming competitions
- programming-competitions
- codeforces
- codechef
- command-line-tool
GSD (Get your Stuff Done) | Basic Todo list for demonstrating CQRS/Command Sourcing in Haskell
- haskell
- haskell-application
- cqrs-application
- frp
L-system generators and visualizers
- lsystems
- 2d-graphics
- generative-art
- lindenmayer-systems
Tool that allows to write Erlang NIF libraries in Haskell
Surface realiser (part of a Natural Language Generation system) using Tree Adjoining Grammar