Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

Manifold

Another experiment in dependently typed languages, this time with some quantitative type theory smooshed in.
Stars
18
License
other
Open Issues
5
Most Recent Commit
6 years ago
Programming Language
Haskell
Categories
Repo
Alternatives To Manifold
Project NameStarsDownloadsRepos Using ThisPackages Using ThisMost Recent CommitTotal ReleasesLatest ReleaseOpen IssuesLicenseLanguage
Cicada Solo125
5 months ago4gpl-3.0TypeScript
Cicada Language (solo version)
Ttlite108
2 years ago12Scala
A SuperCompiler for Martin-Löf's Type Theory
Cicada80npm cicada-lang} Downloads145 months ago38October 09, 202113gpl-3.0TypeScript
Cicada Language
Minitt Rs68cargo minitt-util} Downloads454 years ago7September 21, 20207apache-2.0Rust
Dependently-typed lambda calculus, Mini-TT, extended and implemented in Rust
Manifold18
6 years ago5otherHaskell
Another experiment in dependently typed languages, this time with some quantitative type theory smooshed in.
Alternatives To Manifold
Select To Compare
Cicada ⭐ 80
Cicada Language
dependent packages 4total releases 38most recent commit 5 months agonpm cicada-lang} Downloads
Minitt Rs ⭐ 68
Dependently-typed lambda calculus, Mini-TT, extended and implemented in Rust
dependent packages 5total releases 7most recent commit 4 years agocargo minitt-util} Downloads


Suggest An Alternative To Manifold
Alternative Project Comparisons
Manifold vs Cicada Solo
Manifold vs Ttlite
Manifold vs Cicada
Manifold vs Minitt Rs
Popular Type Theory Projects
Plt ⭐ 5,018
Programming Language Theory λΠ
most recent commit 9 months ago
Kind ⭐ 3,420
A next-gen functional language
dependent packages 2total releases 105latest release February 15, 2023most recent commit 5 months agonpm kind-lang} Downloads
Agda ⭐ 2,281
Agda is a dependently typed programming language / interactive theorem prover.
total releases 40latest release November 30, 2023most recent commit 3 months ago
Lean3 ⭐ 2,138
Lean Theorem Prover
most recent commit 6 months ago
Popular Repl Projects
Julia ⭐ 43,937
The Julia Programming Language
dependent packages 6total releases 11latest release August 23, 2022most recent commit 3 months ago
Python Fire ⭐ 25,805
Python Fire is a library for automatically generating command line interfaces (CLIs) from absolutely any Python object.
dependent packages 1,304total releases 10latest release December 12, 2022most recent commit 3 months agopypi fire} Downloads
Ts Node ⭐ 12,376
TypeScript execution and REPL for node.js
dependent packages 136,315total releases 128latest release December 08, 2023most recent commit 3 months agonpm ts-node} Downloads
Psysh ⭐ 9,596
A REPL for PHP
dependent packages 596total releases 100latest release October 14, 2023most recent commit 3 months agopackagist psy/psysh} Downloads
Popular Compilers Categories
Llvm
Abstract Syntax Tree
Gcc
Clang
Emscripten
Wsl
Lexer
Jit
Ghc
Ida

Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Types
Language
Haskell
Repl
Type Theory
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.