wires/coq-cse wires/coq-cse

  • Stars
    star
    1
  • Language
  • Created about 13 years ago
  • Updated about 13 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
wires/coq-cse
github

wires

Reviews

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

Repository Details

Google Custom Search for Coq

More Repositories

1

gulp-static-site

Gulp plugin to render static site
JavaScript
28
star
2

mu-ffsm

Very tiny helper function to construct fluent JS interfaces
JavaScript
22
star
3

wtf

Well Typed Foundations πŸ›οΈ
ReScript
15
star
4

degraphmalizer

Elasticsearch Degraphmalizer Plugin
Java
14
star
5

graph-isomorphisms

JS library to compute isomorphisms between two graphs
JavaScript
10
star
6

bgp-traceroutes

BGP + Traceroute using RIPE NCC Atlas
JavaScript
9
star
7

npm-keywordsearch

Find packages on npm matching a keyword
JavaScript
8
star
8

github-dl

Mass-clone from github, including private repos
JavaScript
5
star
9

debugging-snowpack-svelte-monaco

attempt to get those tools to work together. JS fatigue anyone?
JavaScript
4
star
10

android-standalone-tape-sample

sample project from the android tape library, fixed the pom
Java
4
star
11

cosmic-tesseract

JavaScript
3
star
12

zenschnorr

Using Zenroom VM to do Schnorr signatures
Lua
3
star
13

zenwrap

Experimental NodeJS wrapper for zenroom crypto VM
JavaScript
3
star
14

coqproc

Process coq source files with python
Python
2
star
15

sketch-typed-json

-just some sketch- don't even try to use
ReScript
2
star
16

gulp-map

(A)synchronous mapping and filtering of vinyl streams (gulp plugin)
JavaScript
2
star
17

gulp-filetree

Compute tree of files passed to this gulp plugin, assigns the tree as a property to each file.
JavaScript
2
star
18

example-ava-flow-jsverify

Example setup for property based testing and type checking JS code
JavaScript
2
star
19

scadm2

Soundcloud group administration tool
Python
2
star
20

purescript-rollup-example

Example using psc-package and rollup together to bundle with dead-code-elimination
JavaScript
2
star
21

beddit

Command-line tool to work with Beddit API
JavaScript
2
star
22

denialism-bot

Twitter bot that makes it easy to mark climate collapse denialism
2
star
23

beddit-api

Get data from Beddit API
JavaScript
1
star
24

coqlab

random coq snippets
Verilog
1
star
25

prttty

This Yak has been standing in the corner for far too long.
JavaScript
1
star
26

delta-robot

(August 2010) Firmware, serial protocol and crazy 3D Java GUI for servo based delta robot
Java
1
star
27

statebox-js

nodejs statebox
CoffeeScript
1
star
28

micro-ui

very minimalistic way to do front-end user interfaces in JS
JavaScript
1
star
29

least

terminal file viewer
JavaScript
1
star
30

nederlandse_werkwoorden

effe voor de lol
Python
1
star
31

idris-fft-to-rust

call rust from idris
Rust
1
star
32

guacamole

gl
JavaScript
1
star
33

pandoc-tikz

Test using Tikz with pandoc to output HTML/PNG and PDF files
Python
1
star
34

mario96

some old stuff
1
star
35

bigdump

Store a lot of stuff on the filesystem
Python
1
star
36

document-ready

document ready for JS
JavaScript
1
star
37

roadmap-viewer

turns github milestones into a roadmap
JavaScript
1
star
38

sonic-acts

notes from Sonic Acts conference
1
star
39

blueprints-versionedgraph

Provide a more "functional view" of blueprints graphs
Java
1
star
40

tsplib.js

(partially) parse TSPLIB files
JavaScript
1
star
41

nix-pnpm-template

simple template for using nix + pnpm
Nix
1
star
42

repomess

Automatically pull all your repositories from github and bitbucket
Python
1
star
43

pyvid

Very old simple python VJ software
C++
1
star
44

scala-hello-spray

spray example from amsterdam.scala meetup, code by Age Mooij
Scala
1
star
45

javascript-template

Gulp, NPM, Browserify, etc..
JavaScript
1
star
46

easypost

postfix + postgresql + python
Python
1
star
47

h4g-eit-django

Hackhack
JavaScript
1
star
48

emacs

Emacs Configuration
1
star