There are no reviews yet. Be the first to send feedback to the community and the maintainers!
mu-ffsm
Very tiny helper function to construct fluent JS interfaceswtf
Well Typed Foundations 🏛️degraphmalizer
Elasticsearch Degraphmalizer Plugingraph-isomorphisms
JS library to compute isomorphisms between two graphsbgp-traceroutes
BGP + Traceroute using RIPE NCC Atlasnpm-keywordsearch
Find packages on npm matching a keywordgithub-dl
Mass-clone from github, including private reposdebugging-snowpack-svelte-monaco
attempt to get those tools to work together. JS fatigue anyone?android-standalone-tape-sample
sample project from the android tape library, fixed the pomcosmic-tesseract
zenschnorr
Using Zenroom VM to do Schnorr signatureszenwrap
Experimental NodeJS wrapper for zenroom crypto VMcoqproc
Process coq source files with pythonsketch-typed-json
-just some sketch- don't even try to usegulp-map
(A)synchronous mapping and filtering of vinyl streams (gulp plugin)gulp-filetree
Compute tree of files passed to this gulp plugin, assigns the tree as a property to each file.example-ava-flow-jsverify
Example setup for property based testing and type checking JS codescadm2
Soundcloud group administration toolpurescript-rollup-example
Example using psc-package and rollup together to bundle with dead-code-eliminationbeddit
Command-line tool to work with Beddit APIdenialism-bot
Twitter bot that makes it easy to mark climate collapse denialismbeddit-api
Get data from Beddit APIcoqlab
random coq snippetsprttty
This Yak has been standing in the corner for far too long.delta-robot
(August 2010) Firmware, serial protocol and crazy 3D Java GUI for servo based delta robotstatebox-js
nodejs stateboxmicro-ui
very minimalistic way to do front-end user interfaces in JSleast
terminal file viewernederlandse_werkwoorden
effe voor de lolidris-fft-to-rust
call rust from idrisguacamole
glpandoc-tikz
Test using Tikz with pandoc to output HTML/PNG and PDF filesmario96
some old stuffbigdump
Store a lot of stuff on the filesystemdocument-ready
document ready for JSroadmap-viewer
turns github milestones into a roadmapsonic-acts
notes from Sonic Acts conferencecoq-cse
Google Custom Search for Coqblueprints-versionedgraph
Provide a more "functional view" of blueprints graphstsplib.js
(partially) parse TSPLIB filesnix-pnpm-template
simple template for using nix + pnpmrepomess
Automatically pull all your repositories from github and bitbucketpyvid
Very old simple python VJ softwarescala-hello-spray
spray example from amsterdam.scala meetup, code by Age Mooijjavascript-template
Gulp, NPM, Browserify, etc..easypost
postfix + postgresql + pythonh4g-eit-django
Hackhackemacs
Emacs ConfigurationLove Open Source and this site? Check out how you can help us