LeanServer Alternatives

Similar projects and alternatives to LeanServer

seL4

60 4,538 9.0 C LeanServer VS seL4

The seL4 microkernel
CompCert

36 1,763 7.2 Coq LeanServer VS CompCert

The CompCert formally-verified C compiler
WorkOS

workos.com sponsored

The modern identity platform for B2B SaaS. The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.

NOTE: The number of mentions on this list indicates mentions on common posts plus user suggested alternatives. Hence, a higher number means a better LeanServer alternative or higher similarity.

Suggest an alternative to LeanServer

LeanServer reviews and mentions

Posts with mentions or reviews of LeanServer. We have used some of these posts to build our list of alternatives and similar projects. The last one was on 2023-10-27.

Can the language of proof assistants be used for general purpose programming?
3 projects | news.ycombinator.com | 27 Oct 2023

```
Ironically I've come up a bit short on how to use dependent types to do anything more advanced than matching handlers' to route types, which Servant [2] can do fantastically already.
I would love to be able to write types that describe, e.g., assumptions made about external resources, so that I can prove that "assuming my DB has such-and-such a latency, my page will always render in such-and-such a time" or something similar - but it's a bit beyond me at the moment.
[1] https://github.com/alex-wellbelove/LeanServer