Coq-simple-io Alternatives
Similar projects and alternatives to coq-simple-io
-
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.
-
UniMath
This coq library aims to formalize a substantial body of mathematics using the univalent point of view.
-
magmide
A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.
-
SaaSHub
SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives
NOTE:
The number of mentions on this list indicates mentions on common posts plus user suggested alternatives.
Hence, a higher number means a better coq-simple-io alternative or higher similarity.
coq-simple-io reviews and mentions
Posts with mentions or reviews of coq-simple-io.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2022-02-04.
-
Inspiring OOP examples?
My point about a proof assistant language, let's just say Coq, is focused on pure, referentially transparent functions. There are no IORef like escape hatches required to make things work, although you could probably argue that stuff like this is still pure as, there are certainly escape hatches. Generally speaking, in proof assistants, the program can be self-contained, and is thus "pure".
-
Advent of Code Day 1
It's possible to do all that work still in Coq, so that the extracted code can directly be compiled into an executable. One way is to use the coq-simple-io library, which basically wraps the OCaml standard library (including functions for reading and writing files/stdin/stdout) as Coq axioms. For example, I did extraction that way in a previous iteration of AoC: https://github.com/Lysxia/advent-of-coq-2018/blob/master/sol/day01_1.v
Stats
Basic coq-simple-io repo stats
2
28
6.8
about 1 month ago
Lysxia/coq-simple-io is an open source project licensed under MIT License which is an OSI approved license.
The primary programming language of coq-simple-io is Coq.
Popular Comparisons
Sponsored
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com