improve
Embedded language
A Haskell-based language for high-assurance embedded applications with model checking and compilation to multiple platforms.
An imperative programming language in Haskell for high assurance embedded applications. ImProve programs are verified with model checking. ImProve compiles to C and Simulink.
56 stars
9 watching
4 forks
Language: Haskell
last commit: about 13 years ago Related projects:
| Repository | Description | Stars |
|---|---|---|
 morganstanley/hobbes | A language and embedded JIT compiler for efficient dynamic expression evaluation and data storage | 1,168 |
 theam/haskell-do | A Haskell-based code editor designed for interactive development and programming in the language. | 352 |
 mikeizbicki/herbieplugin | Improves numerical stability in Haskell code by automatically rewriting floating point computations. | 191 |
 ahgamut/janet | A dynamic language with user scripting capabilities to extend C/C++ programs and automate system tasks. | 5 |
 justusadam/language-haskell | Provides syntax highlighting and indentation support for Haskell language in Visual Studio Code | 97 |
 i-am-tom/haskell-exercises | A tutorial and exercise repository to learn about obscure GHC extensions in Haskell. | 638 |
 branchtaken/hemlock | A systems programming language focused on reliable high performance parallel computation | 31 |
 tfausak/flow | A package providing functions and operators to improve Haskell code readability | 200 |
 thakeenathees/pocketlang | A lightweight, embeddable scripting language with a simple syntax and support for object-oriented programming. | 1,520 |
 dbohdan/embedded-scripting-languages | A list of embedded scripting languages to use in applications. | 1,299 |
 mmirman/imperativehaskell | Project aimed at demonstrating Haskell can emulate imperative programming characteristics and syntax. | 73 |
 mwotton/hubris | A bridge between Ruby and Haskell allowing code reuse across the two languages | 262 |
 neohaskell/neohaskell | A Haskell-based tooling framework designed to enhance developer productivity and newcomer-friendliness. | 276 |
 google/codeworld | An educational programming environment using Haskell to teach computer science and math. | 1,242 |
| i-am-tom/learn-me-a-haskell | Learning Haskell with focus on dependent types and type-level programming using the OneOf data structure | 70 |