awalterschulze/advertising-coq awalterschulze/advertising-coq

  • Stars
    star
    2
  • Language Coq
  • License
    Apache License 2.0
  • Created about 4 years ago
  • Updated over 2 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
awalterschulze/advertising-coq
github

awalterschulze

Reviews

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

Repository Details

Presentation: Advertising Coq - Proving is Programming

More Repositories

1

goderive

Derives and generates mundane golang functions that you do not want to maintain yourself
Go
1,242
star
2

gographviz

Parses the Graphviz DOT language in golang
Go
552
star
3

learning

A list of videos, playlists, blog posts, papers, books, etc. that I have learned from and still intend to learn from.
163
star
4

category-theory-for-programmers-challenges

Challenges from Category Theory for Programmers
Haskell
117
star
5

gominikanren

a Go implementation of miniKanren, an embedded Domain Specific Language for logic programming.
Go
38
star
6

ragax

A Talk on Ragalur Expressions
JavaScript
25
star
7

regex-reexamined-coq

Coq
21
star
8

the-little-typer-exercises

exercises for the book - the little typer
Racket
16
star
9

gofuncyourself

A lesson in how to write go code like a motherfuncer
Go
8
star
10

goanalysis

GoAnalysis does simple analysis of your source code.
Go
7
star
11

sublime-gocc-syntax

[Deprecated] Sublime Syntax Highlighting for Gocc BNF
5
star
12

git-anchor

[Deprecated] anchors the versions of your git dependencies
Go
5
star
13

parsing-in-go-example

Parsing in Go Examples for Talk
Go
4
star
14

nogotovogo

A First Lesson in using Go
Go
4
star
15

xhaskell-library

Automatically exported from code.google.com/p/xhaskell-library
Haskell
3
star
16

gorangecheck

Go
3
star
17

picolang

pico services as a programming language
Go
3
star
18

proofs-written-by-ai

Proofs written by AI
Makefile
3
star
19

grpcdemo

Another grpc demo
Go
2
star
20

waltercv

walter schulze's curriculum vitae
TeX
2
star
21

coq_in_a_hurry_exercises

Coq in a Hurry - Exercises
Coq
2
star
22

ccc-talk

Correct Code by Construction talk's code
Makefile
2
star
23

awalterschulze.github.io

Walter Schulze's home page
JavaScript
2
star
24

awalterschulze

1
star
25

Friendface

[deprecated] A Social Network built on Github
HTML
1
star