system-ct

Implementation of System CT in Rust. Refer "Type Inference for Overloading without Restrictions, Declarations or Annotations". https://link.springer.com/chapter/10.1007/10705424_3

Stars
4
View Code on GitHub
Ecosystems: Rust

No README available, please check again later.

Related Projects
rust-artisan-guide

《Rust Artisan Guide: Building Reliable Projects》A book about hands-on programming with Rust.

29 Jan 2021 313
rust-jieba

Rust binding to cppjieba

23 Jan 2018 7
types-over-strings

12 Apr 2020 12
rustnotes

05 Jul 2019 29
tiger-rs

Rust implementation of the projects from the book Modern Compiler Implementation in ML

26 Aug 2017 135
troika

Rust implementation for Troika hash

01 Jun 2019 7
typed-jni-rs

Type-Safe JNI access for Rust.

23 Aug 2024 5
rust99

This is an adoption of S-99 or P-99 for Rustlang 🦀

10 Apr 2020 38
typed-type-exercise-in-rust

Build database expression type checker and vectorized runtime executor in type-safe Rust

20 May 2022 96
rustc-type-metaprogramming

18 Mar 2018 23
llvm-tutorial-in-rust

LLVM tutorial in Rust language

11 May 2024 0
hj_ds

A data structure library for Rust

16 Aug 2024 0
rust-library-i18n

Rust 核心库和标准库中文翻译，可作为 IDE 工具的智能提示，并生成本地 API 文档

20 Apr 2021 532
rust-cpp-ffi-examples

WIP showing Rust / C++ ffi patterns.

28 Feb 2020 17
nicod

Experimental logic programming system, written in Rust

06 Nov 2019 7