Idris-sandbox Alternatives

Similar projects and alternatives to idris-sandbox

Idris2

39 2,395 9.6 Idris idris-sandbox VS Idris2

A purely functional programming language with first class types
smalltt

4 494 3.1 Lean idris-sandbox VS smalltt

Demo for high-performance type theory elaboration
InfluxDB

www.influxdata.com sponsored

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.
recombine

1 - - idris-sandbox VS recombine

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

Suggest an alternative to idris-sandbox

idris-sandbox reviews and mentions

Posts with mentions or reviews of idris-sandbox. We have used some of these posts to build our list of alternatives and similar projects. The last one was on 2022-01-24.

Idris 2: Quantitative Type Theory in Practice
4 projects | news.ycombinator.com | 24 Jan 2022

Here is an example of a tiny toy compiler proven correct in Idris. It is a small example of the kind of cool things you can do in Dependently Typed languages: https://github.com/mbrodersen/idris-sandbox/blob/master/comp...