knuton/la-girafe-sportive knuton/la-girafe-sportive

  • Stars
    star
    3
  • Rank 3,943,079 (Top 79 %)
  • Language Coq
  • Created almost 11 years ago
  • Updated over 10 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
knuton/la-girafe-sportive
github

knuton

Reviews

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

Repository Details

Coq-verified statements about lambda calculi.

More Repositories

1

stubb

Specify REST API stubs using your file system.
Ruby
288
star
2

hobbes

A Java to JavaScript compiler
JavaScript
8
star
3

play-stylus

Stylus assets for Play 2.0
Scala
3
star
4

counting-sheep

Timed sleep & shutdown from Mac OS X’s Dashboard.
JavaScript
2
star
5

omnomdom

tasty tasty DOM
JavaScript
2
star
6

grunt-transbrute

Publish project files using Git.
JavaScript
2
star
7

.dotfiles

Shared configuration for my command lines.
Shell
1
star
8

pmlp

Statistical music composition
Python
1
star
9

transform-assets-webpack-plugin

A configurable plugin for applying asset transformations in Webpack.
JavaScript
1
star
10

proof-theory

Project for course in Proof Theory
1
star
11

vodo

Global notes summaries
Ruby
1
star
12

jquery-atthattime

Es begab sich aber zu der Zeit …
JavaScript
1
star
13

poqrtal

A silly "browser" PWA that can only navigate to QR codes
HTML
1
star
14

scout

Social reform against piracy.
JavaScript
1
star
15

fusedasone.com

jekyll-run blog
CSS
1
star