PomPom-Language vs rado

PomPom-Language

The cuteness implementation of a dependently typed language. (by caotic123)

Suggest topics

Source Code

Suggest alternative

Edit details

rado

Turing machine in Idris, with some cool types (by nickdrozd)

Suggest topics

Source Code

Suggest alternative

Edit details

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.

www.influxdata.com

featured

SaaSHub - Software Alternatives and Reviews

SaaSHub helps you find the best software and product alternatives

www.saashub.com

featured

PomPom-Language		rado
	Project
8	Mentions	1
186	Stars	0
-	Growth	-
0.0	Activity	0.0
over 1 year ago	Latest Commit	over 2 years ago
Haskell	Language	Idris
-	License	-

The number of mentions indicates the total number of mentions that we've tracked plus the number of user suggested alternatives.
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.

PomPom-Language

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

I find the often ML-inspired syntax too high of a bar for most programmers to clear when being introduced to a language.
1 project | /r/programmingcirclejerk | 3 Oct 2021

No, I mean this
Hacker News top posts: Oct 2, 2021
3 projects | /r/hackerdigest | 2 Oct 2021

A dependently typed language for proofs that you can implement in one day\ (39 comments)
Dependently typed language implementation that is small and easy to follow
1 project | /r/dependent_types | 2 Oct 2021

1 project | /r/ProgrammingLanguages | 2 Oct 2021
A dependently typed language for proofs that you can implement in one day
1 project | /r/patient_hackernews | 2 Oct 2021

1 project | /r/hackernews | 2 Oct 2021

4 projects | news.ycombinator.com | 1 Oct 2021
PomPom-Language: A dependently typed language for proofs that you can implement in one day
1 project | /r/functionalprogramming | 2 Oct 2021

rado

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

A dependently typed language for proofs that you can implement in one day
4 projects | news.ycombinator.com | 1 Oct 2021

> in practice, what kind of proof are people building when building real world programs ?
Here's an example of a proof from a Turing machine simulator written in Idris [1]. The claim is that the length of the tape never decreases after taking a step.
The "claim" is stated in the type signature, and the "proof" is an implementation of that type. That's what "propositions as types" means. The whole thing looks like a regular function, except that it doesn't do anything and it never gets called. However, by virtue of having been accepted by the type-checker it verifies the claim about that piece of the program's behavior.
[1] https://github.com/nickdrozd/rado/blob/86790bbb218785e57ea88...