Top 6 Haskell C Projects

C

• Add a project

• copilot

  17 664 9.2 Haskell

  A stream-based runtime-verification framework for generating hard real-time C code. (by Copilot-Language)

  

  Project mention: NASA Copilot: A stream-based runtime-verification framework | news.ycombinator.com | 2024-02-23

• SaaSHub

  www.saashub.com featured

  SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives

  

• clock

  0 58 4.6 Haskell

  High-resolution clock functions: monotonic, realtime, cputime. (by corsis)

  

• magus

  1 23 1.8 Haskell

  Portable high-level assembler with authentic C syntax

• C-structs

  0 3 0.0 Haskell

  C-Struct Types for Haskell

• cimple

  0 2 6.2 Haskell

  Cimple and Apidsl language parsers and tools

  

• Schemer

  2 0 2.9 Haskell

  A simple Scheme compiler for my thesis (by teichholz)

Haskell C related posts

• Executable Blog Posts: Second Take

  9 projects | dev.to | 11 Aug 2024

• NASA Copilot: A stream-based runtime-verification framework

  1 project | news.ycombinator.com | 23 Feb 2024

• [ANN] Copilot 3.16

  2 projects | /r/haskell | 8 Jul 2023

• Is it just me or it nix becoming more common

  5 projects | /r/NixOS | 4 May 2023

• [ANN] NASA's Ogma 1.0.7

  2 projects | /r/haskell | 25 Feb 2023

• [ANN] Summer Internship at NASA Ames Research Center

  2 projects | /r/haskell | 16 Feb 2023

• [ANN] Copilot 3.12

  3 projects | /r/haskell | 14 Nov 2022
• A note from our sponsor - SaaSHub
  www.saashub.com | 15 Jan 2025

  SaaSHub helps you find the best software and product alternatives Learn more →

Index

Sponsored

SaaSHub - Software Alternatives and Reviews

SaaSHub helps you find the best software and product alternatives

www.saashub.com

Do not miss the trending Haskell projects with our weekly report!