Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

Ttlite

A SuperCompiler for Martin-Löf's Type Theory
Stars
108
License
No license specified
Open Issues
12
Most Recent Commit
2 years ago
Programming Language
Scala
Categories
Repo
Alternatives To Ttlite
Project NameStarsDownloadsRepos Using ThisPackages Using ThisMost Recent CommitTotal ReleasesLatest ReleaseOpen IssuesLicenseLanguage
Cicada Solo125
6 months ago4gpl-3.0TypeScript
Cicada Language (solo version)
Ttlite108
2 years ago12Scala
A SuperCompiler for Martin-Löf's Type Theory
Cicada80npm cicada-lang} Downloads146 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 Ttlite
Select To Compare
Cicada ⭐ 80
Cicada Language
dependent packages 4total releases 38most recent commit 6 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 ttlite
Alternative Project Comparisons
Ttlite vs Cicada Solo
Ttlite vs Cicada
Ttlite vs Minitt Rs
Ttlite vs Manifold
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 6 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 7 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 4 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 4 months agopackagist psy/psysh} Downloads
Popular Compilers Categories
Llvm
Abstract Syntax Tree
Gcc
Clang
Emscripten
Wsl
Lexer
Jit
Ghc
Ida
Related Searches
Scala Types
Types Definition
Scala Repl
Programming Language Types
Programming Language Repl
Scala Definition
Scala Programming Language
Types Type Theory
Coq Types
Repl Types

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