midori programming language Icon

midori programming language


dependently typed functional programming language

Add a Review
1 Download (This Week)
Last Update:
Download midori.tar.gz
Browse All Files


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.

midori programming language Web Site


  • 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

Update Notifications

Write a Review

User Reviews

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

Additional Project Details



Intended Audience

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

User Interface

Command-line, Console/Terminal

Programming Language

Haskell, Project is a programming language


Screenshots can attract more users to your project.
Features can attract more users to your project.

Icons must be PNG, GIF, or JPEG and less than 1 MiB in size. They will be displayed as 48x48 images.