Awesome Open Source

Programming Languages

Search results for rust type theory

12 search results found

Pikelet ⭐ 507

A friendly little systems language with first-class types. Very WIP! 🚧 🚧 🚧

Path_semantics ⭐ 156

A research project in path semantics, a re-interpretation of functions for expressing mathematics

Rust Nbe For Mltt ⭐ 78

Normalization by evaluation for Martin-Löf Type Theory with dependent records

Voile Rs ⭐ 74

Dependently-typed row-polymorphic programming language, evolved from minitt-rs

Minitt Rs ⭐ 68

Dependently-typed lambda calculus, Mini-TT, extended and implemented in Rust

(WIP) Dependently-typed programming language with Agda style dependent pattern matching

🍞 | IDE focused programming language study

Types And Programming Languages ⭐ 27

Exercises from Benjamin Pierce's "Types and Programming Languages" textbook + extras!

Type Theory ⭐ 27

Typed λ-calculus in Rust

The Hash programming language compiler ⚡

Intermediate Representation of LSTS L1 Language

Strict Encoding ⭐ 7

Protobufs for functional programming

Related Searches

Command Line Rust (3,187)

Javascript Rust (1,421)

Video Game Rust (1,177)

Rust Bindings (1,155)

Typescript Rust (1,111)

Python Rust (966)

Rust Blockchain (938)

Rust Language (934)

C Plus Plus Rust (885)

1-12 of 12 search results

Privacy | About | Terms | Follow Us On Twitter

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