smalltt

Demo for high-performance type theory elaboration (by AndrasKovacs)
Suggest topics
Source Code
Suggest alternative
Edit details

Smalltt Alternatives

Similar projects and alternatives to smalltt

  • GitHub repo Idris2

    smalltt VS Idris2

    A purely functional programming language with first class types

  • GitHub repo sixty

    smalltt VS sixty

    Dependent type checker using normalisation by evaluation

  • Scout APM

    Less time debugging, more time building. Scout APM allows you to find and fix performance issues with no hassle. Now with error monitoring and external services monitoring, Scout is a developer's best friend when it comes to application development.

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

Suggest an alternative to smalltt

Reviews and mentions

Posts with mentions or reviews of smalltt. We have used some of these posts to build our list of alternatives and similar projects. The last one was on 2021-12-15.

Stats

Basic smalltt repo stats
2
347
8.8
23 days ago

AndrasKovacs/smalltt is an open source project licensed under MIT License which is an OSI approved license.


Sponsored
OPS - Build and Run Open Source Unikernels
Quickly and easily build and deploy open source unikernels in tens of seconds. Deploy in any language to any cloud.
github.com/nanovms
Find remote jobs at our new job board 99remotejobs.com. There are 29 new remote jobs listed recently.
Are you hiring? Post a new remote job listing for free.