Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

Mltt

Implementation of Martin-Löf Type Theory in Haskell
Stars
15
License
No license specified
Open Issues
0
Most Recent Commit
8 years ago
Programming Language
Haskell
Categories
Repo
Alternatives To Mltt
Select To Compare
Julia ⭐ 43,937
The Julia Programming Language
dependent packages 6total releases 11most recent commit 3 months ago
Ts Node ⭐ 12,376
TypeScript execution and REPL for node.js
dependent packages 136,315total releases 128most recent commit 3 months agonpm ts-node} Downloads
Psysh ⭐ 9,596
A REPL for PHP
dependent packages 596total releases 100most recent commit 3 months agopackagist psy/psysh} Downloads
Tinker ⭐ 7,251
Powerful REPL for the Laravel framework.
dependent packages 1,225total releases 30most recent commit 3 months agopackagist laravel/tinker} Downloads
Nteract ⭐ 6,111
📘 The interactive computing suite for you! ✨
dependent packages 27total releases 85most recent commit 4 months agonpm @nteract/commutable} Downloads
Jedi ⭐ 5,593
Awesome autocompletion, static analysis and refactoring library for python
dependent packages 551total releases 34most recent commit 3 months agopypi jedi} Downloads
Alda ⭐ 5,435
A music programming language for musicians. :notes:
total releases 90most recent commit 6 months ago


Suggest An Alternative To mltt
Popular User Interface Categories
Theme
Flutter
Animation
Redux
Bindings
Gui
Material
Visualization
Layout
Qt

Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Types
Haskell
Repl
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2024 Awesome Open Source.  All rights reserved.