Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

Rust Nbe For Mltt

Normalization by evaluation for Martin-Löf Type Theory with dependent records
Stars
78
License
mit
Open Issues
0
Most Recent Commit
2 years ago
Programming Language
Rust
Categories
Repo
Suggest An Alternative To rust-nbe-for-mltt
Popular Printing Projects
Pdfmake ⭐ 11,112
Client/server side PDF printing in pure JavaScript
dependent packages 419total releases 86latest release November 09, 2023most recent commit 3 months agonpm pdfmake} Downloads
Print.js ⭐ 4,043
A tiny javascript library to help printing from the web.
dependent packages 256total releases 54latest release February 17, 2021most recent commit 3 months agonpm print-js} Downloads
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 User Interface Categories
Theme
Flutter
Animation
Redux
Bindings
Gui
Material
Visualization
Layout
Qt
Related Searches
Pretty Printing
Rust Pretty
Rust Printing
Rust Type System
Dependent Types Type Theory
Rust Dependent Types
Type System Typechecker
Rust Typechecker
Rust Type Inference
Type System Dependent Types

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