Search: github.com/willcrichton | Heykuki News

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)

280 points

8 months ago

2.

Flowistry helps you understand Rust programs with program analysis (github.com/willcrichton)

153 points

5 years ago

3.

Tyrade: A pure functional language for type-level programming in Rust (github.com/willcrichton)

3 points

6 years ago

4.

Tyrade: A pure functional language for type-level programming in Rust (github.com/willcrichton)

3 points

6 years ago

5.

An IDE plugin for Rust that helps you focus on relevant code (github.com/willcrichton)

2 points

2 years ago

6.

Nota: A Web Framework for Academic Papers (github.com/willcrichton)

2 points

5 years ago

7.

Tyrade: Language for type-level programming in Rust (github.com/willcrichton)

2 points

5 years ago

8.

Tyrade: A pure functional language for type-level programming in Rust (github.com/willcrichton)

2 points

6 years ago

9.

Lia – A high-level language for Rust (github.com/willcrichton)

2 points

10 years ago

10.

Interactive quizzes for Markdown (github.com/willcrichton)

1 point

4 years ago