Copilot-Language / copilotLinks
A stream-based runtime-verification framework for generating hard real-time C code.
☆738Updated 2 weeks ago
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.☆461Updated 2 weeks ago
- Liquid Types For Haskell☆1,244Updated this week
- FPGA Haskell machine with game changing performance. Reduceron is Matthew Naylor, Colin Runciman and Jason Reich's high performance FPGA …☆434Updated last month
- Haskell implemented with combinators☆484Updated this week
- The Ivory EDSL☆398Updated 5 years ago
- A DSL for embedded hard realtime applications.☆271Updated 8 years ago
- Functional Reactive Programming domain-specific language for efficient hybrid systems☆459Updated 3 months ago
- SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.☆255Updated this week
- 🌀 Safe, performant, user-friendly and lightweight Haskell standard library☆715Updated 3 weeks ago
- Industrial-strength monadic parser combinator library☆945Updated 4 months ago
- Nix and Haskell in production☆1,157Updated last year
- A fast, flexible, fused effect system for Haskell☆657Updated last month
- Proposed compiler and language changes for GHC and GHC/Haskell☆697Updated 2 weeks ago
- higher-order, no-boilerplate monads☆1,056Updated 2 months ago
- Compiling to Categories☆451Updated last year
- Haskell client library for the ROS robotics framework.☆110Updated 8 years ago
- An easy to use, fast extensible effects library with seamless integration with the existing Haskell ecosystem.☆420Updated this week
- A statically-typed linear functional language with graded modal types for fine-grained program reasoning☆618Updated last month
- A fast Haskell library for parsing ByteStrings☆524Updated 5 months ago
- Shake build system☆784Updated 4 months ago
- Haskell bindings for LLVM☆520Updated 10 months ago
- hpack: A modern format for Haskell packages☆648Updated 2 months ago
- Shell programming, Haskell style☆955Updated last year
- GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support.☆1,043Updated 2 years ago
- Web application for exploring and understanding Haskell codebases☆515Updated 2 years ago
- A type-safe, non-TH Haskell SQL library and ORM☆597Updated last week
- A demo implementation of a simple dependently-typed language☆594Updated 6 months ago
- Modern and extensible testing framework for Haskell☆650Updated this week
- Miscellaneous articles. The readme is the table of contents.☆1,266Updated last year
- Add ACID guarantees to any serializable Haskell data structure☆302Updated 2 months ago