Search: github.com/willcrichton | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

1.

Flowistry: An IDE plugin for Rust that focuses on relevant code

github.com/willcrichton

8 months ago

280 points

2.

Flowistry helps you understand Rust programs with program analysis

github.com/willcrichton

5 years ago

153 points

3.

Tyrade: A pure functional language for type-level programming in Rust

github.com/willcrichton

6 years ago

3 points

4.

Tyrade: A pure functional language for type-level programming in Rust

github.com/willcrichton

6 years ago

3 points

5.

An IDE plugin for Rust that helps you focus on relevant code

github.com/willcrichton

3 years ago

2 points

6.

Nota: A Web Framework for Academic Papers

github.com/willcrichton

5 years ago

2 points

7.

Tyrade: Language for type-level programming in Rust

github.com/willcrichton

5 years ago

2 points

8.

Tyrade: A pure functional language for type-level programming in Rust

github.com/willcrichton

6 years ago

2 points

9.

Lia – A high-level language for Rust

github.com/willcrichton

10 years ago

2 points

10.

Interactive quizzes for Markdown

github.com/willcrichton

4 years ago

1 points