Copilot-Language / copilotLinks
A stream-based runtime-verification framework for generating hard real-time C code.
☆755Updated last week
Alternatives and similar repositories for copilot
Users that are interested in copilot are comparing it to the libraries listed below
Sorting:
- Generator of runtime monitors for flight and robotics applications.☆472Updated last week
- Haskell implemented with combinators☆581Updated this week
- FPGA Haskell machine with game changing performance. Reduceron is Matthew Naylor, Colin Runciman and Jason Reich's high performance FPGA …☆441Updated last month
- The Ivory EDSL☆400Updated 5 years ago
- A DSL for embedded hard realtime applications.☆274Updated 8 years ago
- Compiling to Categories☆455Updated last year
- A statically-typed linear functional language with graded modal types for fine-grained program reasoning☆629Updated 3 months ago
- Liquid Types For Haskell☆1,256Updated this week
- Haskell bindings for LLVM☆522Updated last year
- Industrial-strength monadic parser combinator library☆952Updated last week
- SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.☆258Updated this week
- Standard library for linear types in Haskell.☆349Updated 2 months ago
- higher-order, no-boilerplate monads☆1,058Updated 5 months ago
- Algebraic graphs☆743Updated 3 weeks ago
- Proposed compiler and language changes for GHC and GHC/Haskell☆702Updated this week
- A fast, flexible, fused effect system for Haskell☆660Updated 4 months ago
- An easy to use, fast extensible effects library with seamless integration with the existing Haskell ecosystem.☆434Updated 3 weeks ago
- 🕵️ Haskell STatic ANalyser☆583Updated last week
- Retrie is a powerful, easy-to-use codemodding tool for Haskell.☆510Updated last month
- GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support.☆1,046Updated 2 months ago
- Domain-Specific Languages of Mathematics☆442Updated this week
- The Ott tool for writing definitions of programming languages and calculi☆379Updated 8 months ago
- Functional Reactive Programming domain-specific language for efficient hybrid systems☆462Updated 6 months ago
- A demo implementation of a simple dependently-typed language☆610Updated 9 months ago
- Haskell client library for the ROS robotics framework.☆110Updated 8 years ago
- 🌀 Safe, performant, user-friendly and lightweight Haskell standard library☆725Updated 3 weeks ago
- ☆233Updated 3 weeks ago
- Minimal implementations for dependent type checking and elaboration☆730Updated 2 weeks ago
- The Haskell Optimization Handbook☆179Updated 5 months ago
- Haskell library for the Microsoft Language Server Protocol☆401Updated last week