awalterschulze/proofs-written-by-ai awalterschulze/proofs-written-by-ai

  • Stars
    star
    3
  • Rank 3,860,321 (Top 79 %)
  • Language Makefile
  • License
    MIT License
  • Created about 1 year ago
  • Updated about 1 year ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
awalterschulze/proofs-written-by-ai
github

awalterschulze

Reviews

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

Repository Details

Proofs written by AI

More Repositories

1

goderive

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

gographviz

Parses the Graphviz DOT language in golang
Go
543
star
3

learning

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

category-theory-for-programmers-challenges

Challenges from Category Theory for Programmers
Haskell
114
star
5

gominikanren

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

ragax

A Talk on Ragalur Expressions
JavaScript
25
star
7

regex-reexamined-coq

Coq
19
star
8

the-little-typer-exercises

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

goanalysis

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

gofuncyourself

A lesson in how to write go code like a motherfuncer
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

grpcdemo

Another grpc demo
Go
2
star
19

waltercv

walter schulze's curriculum vitae
TeX
2
star
20

coq_in_a_hurry_exercises

Coq in a Hurry - Exercises
Coq
2
star
21

ccc-talk

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

awalterschulze.github.io

Walter Schulze's home page
JavaScript
2
star
23

awalterschulze

1
star
24

Friendface

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

advertising-coq

Presentation: Advertising Coq - Proving is Programming
Coq
1
star