midori programming language Icon

midori programming language


dependently typed functional programming language

Add a Review
0 Downloads (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


Other Useful Business Software

License This HTML5 Speed Test for Your ISP or Network Icon

Are you an ISP or network administrator looking for a reliable, accurate, & affordable HTML5 speed test that works on all devices?

License This HTML5 Speed Test for Your ISP or Network Icon
The SourceForge Speed Test measures Latency/Ping, Jitter, Download Speed, Upload Speed, Buffer Bloat, and Packet Loss. Upon completion, you can view detailed reports about your connection. This HTML5 speed test does not require Flash or Java, and works on all devices including tablets and smartphones. Host on your own infrastructure or use ours. For licensing, inquire today.
Write a Review

User Reviews

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

Additional Project Details



Intended Audience

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

User Interface

Console/Terminal, Command-line

Programming Language

Haskell, Project is a programming language



Thanks for helping keep SourceForge clean.

Screenshot instructions:
Red Hat Linux   Ubuntu

Click URL instructions:
Right-click on ad, choose "Copy Link", then paste here →
(This may not be possible with some types of ads)

More information about our ad policies

Briefly describe the problem (required):

Upload screenshot of ad (required):
Select a file, or drag & drop file here.

Please provide the ad click URL, if possible:

Get latest updates about Open Source Projects, Conferences and News.

Sign up for the SourceForge newsletter:

JavaScript is required for this form.

No, thanks