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

Project Activity

See All Activity >

Categories

Compilers, Interpreters, Cross Compilers, Programming Languages

License

BSD License

Follow midori programming language

midori programming language Web Site

Other Useful Business Software
AI-powered service management for IT and enterprise teams Icon
AI-powered service management for IT and enterprise teams

Enterprise-grade ITSM, for every business

Give your IT, operations, and business teams the ability to deliver exceptional services—without the complexity. Maximize operational efficiency with refreshingly simple, AI-powered Freshservice.
Try it Free
Rate This Project
Login To Rate This Project

User Reviews

Be the first to post a review of midori programming language!

Additional Project Details

Languages

English

Intended Audience

Advanced End Users, Developers, Engineering, Manufacturing, Other Audience, Testers

User Interface

Command-line, Console/Terminal

Programming Language

Haskell

Related Categories

Haskell Compilers, Haskell Interpreters, Haskell Cross Compilers, Haskell Programming Languages

Registered

2011-07-30
Report inappropriate content