Prototypical type checker for Type Theory with Sized Natural Numbers (by andreasabel)

Sit Alternatives

Similar projects and alternatives to Sit

  • hoq

    0 Sit VS hoq

    A language based on homotopy type theory with an interval

  • cubical

    0 Sit VS cubical

    Implementation of Univalence in Cubical Sets (by simhu)

  • InfluxDB

    Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.

    InfluxDB logo
  • helf

    0 Sit VS helf

    Haskell implementation of the Edinburgh Logical Framework

  • singletons

    2 Sit VS singletons

    Fake dependent types in Haskell using singletons

  • open-typerep

    Open type representations and dynamic types

  • eliminators

    Dependently typed elimination functions using singletons

  • agda-snippets

    Library and tool to render the snippets in literate Agda files to hyperlinked HTML, leaving the rest of the text untouched.

  • SaaSHub

    SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives

    SaaSHub logo
  • Agda

    27 Sit VS Agda

    Agda is a dependently typed programming language / interactive theorem prover.

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

Sit reviews and mentions

Posts with mentions or reviews of Sit. We have used some of these posts to build our list of alternatives and similar projects.

We haven't tracked posts mentioning Sit yet.
Tracking mentions began in Dec 2020.


Basic Sit repo stats
about 2 months ago

andreasabel/Sit is an open source project licensed under LicenseRef-OtherLicense which is not an OSI approved license.

The primary programming language of Sit is Haskell.

SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives