Generator of runtime monitors for flight and robotics applications.
☆588Sep 27, 2026Updated last month
Alternatives and similar repositories for ogma
Users that are interested in ogma are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A stream-based runtime-verification framework for generating hard real-time C code.☆839Oct 18, 2026Updated 2 weeks ago
- A library for producing terminal plots.☆83Jul 1, 2026Updated 4 months ago
- Strict Text and ByteString builder, which hides mutable buffer behind linear types and takes amortized linear time.☆102Sep 26, 2026Updated last month
- Classic FRP, Arrowized FRP, Reactive Programming, and Stream Programming, all via Monadic Stream Functions☆234Oct 22, 2026Updated last week
- 🌿 Foliage is a tool to create custom Haskell package repositories, in a fully reproducible way.☆46Oct 18, 2026Updated 2 weeks ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- A modern package index for the Haskell ecosystem☆159Updated this week
- Haskell Functional Reactive Programming framework with type-level clocks☆147Oct 20, 2026Updated last week
- Haskell counters that can be safely incremented from multiple threads☆19Oct 7, 2025Updated last year
- Defect Process (2d hack n' slash game) full source code☆231Aug 1, 2023Updated 3 years ago
- Standard library for linear types in Haskell.☆361Updated this week
- Tie allows generation of Haskell server stubs from OpenAPI (v 3.x) specifications.☆50Oct 28, 2024Updated 2 years ago
- Fast equality saturation in Haskell☆99Mar 9, 2026Updated 7 months ago
- ☆109Oct 6, 2026Updated 3 weeks ago
- Ghengin: A vulkan-based, shader-centric, type-heavy, Haskell game engine☆85Aug 28, 2026Updated 2 months ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Functional Reactive Programming domain-specific language for efficient hybrid systems☆490Oct 21, 2026Updated last week
- The Haskell Thrift Compiler. This is an implementation of the Thrift spec that generates code in Haskell. It depends on the fbthrift proj…☆164Updated this week
- lucid + htmx = lucid-htmx☆19Jul 31, 2024Updated 2 years ago
- Compositional Representable Executable Machines☆127Jul 9, 2026Updated 3 months ago
- Provide warnings for unexpected Core generation☆28Nov 17, 2021Updated 4 years ago
- A modern Haskell debugger☆31May 1, 2025Updated last year
- Hey! Hey! Can u rel8?☆173Sep 23, 2026Updated last month
- Compiling Agda code to readable Haskell☆210Updated this week
- Retrie is a powerful, easy-to-use codemodding tool for Haskell.☆506Jul 4, 2025Updated last year
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- OpenTelemetry support for the Haskell programming language☆116Updated this week
- Resource gathering + programming game☆921Updated this week
- Haskell interactive serverside web framework inspired by HTMX, Elm, and Phoenix LiveView☆353Sep 2, 2026Updated 2 months ago
- Regular expressions of types☆16Sep 13, 2018Updated 8 years ago
- Exploring the options for incremental Haskell builds using Nix☆109Nov 28, 2022Updated 3 years ago
- A community-driven collection of documentation for Haskell error messages and warnings☆108Jan 12, 2026Updated 9 months ago
- Haskell library for the Microsoft Language Server Protocol☆426Oct 9, 2026Updated 3 weeks ago
- Refactor Haskell source files☆160Jan 29, 2025Updated last year
- 🕵️ Haskell STatic ANalyser☆596Oct 16, 2026Updated 2 weeks ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Haskell bindings to Halide☆20Mar 18, 2024Updated 2 years ago
- Haskell implemented with combinators☆803Updated this week
- An implementation of the Haskell ByteString library using the Fiat system from MIT☆34Apr 4, 2022Updated 4 years ago
- ☆41Nov 9, 2023Updated 2 years ago
- ☆26Feb 24, 2023Updated 3 years ago
- A Haskell libary for fast arrowized FRP based on signal functions☆19May 8, 2026Updated 5 months ago
- Manage CloudFormation Stacks through specifications☆13Updated this week