advent-of-coq-2018

Advent of Code 2018, in Coq! (https://adventofcode.com/2018) (by Lysxia)
Add to my DEV experience Suggest topics
Source Code
Suggest alternative
Edit details
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
Sponsored

Advent-of-coq-2018 Alternatives

Similar projects and alternatives to advent-of-coq-2018

NOTE: The number of mentions on this list indicates mentions on common posts plus user suggested alternatives. Hence, a higher number means a better advent-of-coq-2018 alternative or higher similarity.
Suggest an alternative to advent-of-coq-2018

advent-of-coq-2018 reviews and mentions

Posts with mentions or reviews of advent-of-coq-2018. We have used some of these posts to build our list of alternatives and similar projects. The last one was on 2022-02-04.
  • Advent of Code Day 1
    3 projects | /r/Coq | 4 Feb 2022
    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 advent-of-coq-2018 repo stats
1
139
10.0
about 5 years ago

The primary programming language of advent-of-coq-2018 is Coq.

Popular Comparisons

  1. advent-of-coq-2018 VS coq-simple-io
  2. advent-of-coq-2018 VS advent-of-coq-2021

Sponsored
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com