Awesome Open Source

Programming Languages

Search results for types lean

2 search results found

A type checker for the Lean theorem prover

Reference type checker for the Lean theorem prover

Nanoda_lib ⭐ 19

Library implementing type inference/checking functionality based on the Lean theorem prover

Trepplein ⭐ 18

Lean type-checker written in Scala.

Quantconnect Stubs Generator ⭐ 10

Automatically generate Python type stubs for QuantConnect's Lean

Bare Select ⭐ 8

The lean alternative to <select>.

Clean Core ⭐ 8

A clean and lean reimagining of the C++ standard library

A lean hypermedia type for RESTful APIs in Eiffel

Ng Web App ⭐ 6

Front-end component of a web app based on the modular LEAN concept.

Related Searches

Javascript Types (8,178)

Typescript Types (2,606)

Python Types (2,536)

Php Types (1,921)

Java Types (1,598)

C Plus Plus Types (1,282)

Golang Types (1,257)

C Sharp Types (1,177)

Plugin Types (1,152)

Json Types (1,128)

1-2 of 2 search results

Privacy | About | Terms | Follow Us On Twitter

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