• Stars
    star
    2
  • Language
  • License
    GNU Affero Genera...
  • Created over 5 years ago
  • Updated over 5 years ago

Reviews

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

Repository Details

Twitter bot that makes it easy to mark climate collapse denialism

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

beddit-api

Get data from Beddit API
JavaScript
1
star
23

coqlab

random coq snippets
Verilog
1
star
24

prttty

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

delta-robot

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

statebox-js

nodejs statebox
CoffeeScript
1
star
27

micro-ui

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

least

terminal file viewer
JavaScript
1
star
29

nederlandse_werkwoorden

effe voor de lol
Python
1
star
30

idris-fft-to-rust

call rust from idris
Rust
1
star
31

guacamole

gl
JavaScript
1
star
32

pandoc-tikz

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

mario96

some old stuff
1
star
34

bigdump

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

document-ready

document ready for JS
JavaScript
1
star
36

roadmap-viewer

turns github milestones into a roadmap
JavaScript
1
star
37

sonic-acts

notes from Sonic Acts conference
1
star
38

coq-cse

Google Custom Search for Coq
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