improve
by tomahawkins
An imperative programming language in Haskell for high assurance embedded applications. ImProve programs are verified with model checking. ImProve compiles to C and Simulink.
AI summary
Embedded language
A Haskell-based language for high-assurance embedded applications with model checking and compilation to multiple platforms.
- stars
- 57
- forks
- 4
- watching
- 9
Similar projects
Found by comparing what the projects do, not just their names.
Expression Compiler
An embedded language and JIT compiler for efficient dynamic expression evaluation and data analysis
Haskell IDE
A Haskell-based code editor designed for interactive development and programming in the language.
Numerical stabilizer
Improves numerical stability in Haskell code by automatically rewriting floating point computations.
Automation language
A dynamic language with user scripting capabilities to extend C/C++ programs and automate system tasks.
Haskell editor
Provides syntax highlighting and indentation support for Haskell language in Visual Studio Code
Haskell extension tutorials
A tutorial and exercise repository to learn about obscure GHC extensions in Haskell.
Parallel language
A systems programming language focused on reliable high performance parallel computation
tfausak/flow200
Code readability enhancer
A Haskell package providing alternative operators to improve code readability
Scripting language
A lightweight, embeddable scripting language with a simple syntax and support for object-oriented programming.
Scripting languages
A list of embedded scripting languages to use in applications.
Imperative compiler
Project aimed at demonstrating Haskell can emulate imperative programming characteristics and syntax.
Language bridge
A bridge between Ruby and Haskell allowing code reuse across the two languages
Dev productivity framework
A Haskell-based tooling framework designed to enhance developer productivity and newcomer-friendliness.
google/codeworld1.2K
Haskell IDE
An educational programming environment using Haskell to teach computer science and math.
Type checker
Learning Haskell with focus on dependent types and type-level programming using the OneOf data structure
