Sit

Prototypical type checker for Type Theory with Sized Natural Numbers (by andreasabel)
Review Data structures Dependent Types
Source Code
Suggest alternative
Edit details
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com
featured

Sit Alternatives

Similar projects and alternatives to Sit

andreasabel
Sit

  1. hoq

    0 Sit VS hoq

    A language based on homotopy type theory with an interval

  2. InfluxDB

    InfluxDB – Built for High-Performance Time Series Workloads. InfluxDB 3 OSS is now GA. Transform, enrich, and act on time series data directly in the database. Automate critical tasks and eliminate the need to move data externally. Download now.

    InfluxDB logo

  3. agda-snippets

    0 Sit VS agda-snippets

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

  4. singletons

    2 Sit VS singletons

    Fake dependent types in Haskell using singletons

  5. helf

    0 Sit VS helf

    Haskell implementation of the Edinburgh Logical Framework

  6. open-typerep

    1 Sit VS open-typerep

    Open type representations and dynamic types

  7. eliminators

    0 Sit VS eliminators

    Dependently typed elimination functions using singletons

  8. cubical

    0 Sit VS cubical

    Implementation of Univalence in Cubical Sets (by simhu)

  9. SaaSHub

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

    SaaSHub logo

  10. 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.
Suggest an alternative to Sit

Sit discussion

Log in or Post with

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.

Stats

Basic Sit repo stats
0
6
3.0
9 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.

Popular Comparisons

  1. Sit VS hoq
  2. Sit VS agda-snippets
  3. Sit VS singletons
  4. Sit VS helf
  5. Sit VS open-typerep
  6. Sit VS eliminators
  7. Sit VS cubical
  8. Sit VS Agda

Sponsored
InfluxDB – Built for High-Performance Time Series Workloads
InfluxDB 3 OSS is now GA. Transform, enrich, and act on time series data directly in the database. Automate critical tasks and eliminate the need to move data externally. Download now.
www.influxdata.com

Did you know that Haskell is
the 25th most popular programming language
based on number of references?

Loading...