Programming language based off pure type systems, and COQ. Currently aimed at both systems, and application programming. Has a simple syntax, and (planned) C integration.
Features
- easily re-hostable to a new machine/os
- C code intergration (via libFFI) (eventually)
- simple, clean, and consistent sytax
- easy extension of syntax
- uses libGMP
- fast
License
BSD LicenseFollow midori programming language
You Might Also Like
Rate This Project
Login To Rate This Project
User Reviews
Be the first to post a review of midori programming language!