stepchowfun/coq-intro stepchowfun/coq-intro

  • This repository has been archived on 17/Jan/2022
  • Stars
    star
    5
  • Rank 2,861,937 (Top 57 %)
  • Language Coq
  • Created over 6 years ago
  • Updated over 6 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
stepchowfun/coq-intro
github

stepchowfun

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

An introduction to proving theorems and certifying programs with Coq.

More Repositories

1

toast

Containerize your development and continuous integration environments. 🥂
Rust
1,499
star
2

docuum

Docuum performs least recently used (LRU) eviction of Docker images. 🗑️
Rust
489
star
3

proofs

My personal repository of formally verified mathematics.
Coq
259
star
4

theorem-prover

An automated theorem prover for first-order logic.
Python
225
star
5

tagref

Tagref helps you maintain cross-references in your code.
Rust
148
star
6

socket.js

A realtime communication framework for Node.js.
JavaScript
143
star
7

hashpass

A simple password manager with a twist.
TypeScript
113
star
8

effects

A brief exploration of the various approaches to modeling side effects in a purely functional programming language.
Haskell
100
star
9

typical

Data interchange with algebraic data types.
Rust
81
star
10

raytracer

A browser-based real-time raytracer written in CoffeeScript.
CSS
53
star
11

data-structure-explorer

A web-based pedagogical tool for exploring data structures.
JavaScript
48
star
12

cfg-checker

Search for ambiguities in context-free grammars.
C++
38
star
13

unicode

Portable ASCII and Unicode string manipulation functions for C++.
C++
21
star
14

doesgoogleexecutejavascript

Google executes JavaScript, even if the script is fetched from the network. However, Google does not make AJAX requests.
JavaScript
15
star
15

dotfiles

My configuration files.
Shell
13
star
16

paxos

An implementation of single-decree Paxos.
Rust
10
star
17

dubstepn

My personal blog.
Ruby
9
star
18

base16-circus-scheme

A theme for the Base16 color system.
6
star
19

gigamesh

A home for all your notes.
TypeScript
6
star
20

gigamesh-schema

The Typical schema for the Gigamesh data model.
Perl
3
star
21

stem-cell

A simple project to demonstrate the cross-platform release management process I use for my open source work.
Shell
3
star
22

subjunct

A website for sharing secrets.
Ruby
3
star
23

garnet

A fast and minimalist template engine for Node.
JavaScript
2
star
24

webpack-scaffolding

Scaffolding for building web applications.
JavaScript
2
star
25

gists

Small projects that don't deserve their own repository.
Python
1
star