majorseitan

blockfreie.org

Pinned Repositories

urweb_aframe
urweb aframe library
Language:Makefile00
lavaa-react
lavaa-react
Language:TypeScript1 7 22
ld_server
Serve linkage disequilibrium
Language:Python20
coq-printf
Implementation of sprintf for Coq
Language:Coq18 6 12
dataverse
Open source research data repository software
Language:Java863 69 7.5k481
KappaTools
Tool suite for kappa models. Documentation and binaries can be found in the release section. Try it online at
Language:OCaml107 18 63640
cloud-sdk-docker
Docker image with all the components of the Google Cloud SDK
Language:Dockerfile00
nodetimer
Simple pomodoro timer in node.js
Language:JavaScript0 2 00
bioagents
Biological reasoning agents
Language:Python4 6 3815
urweb
The Ur/Web programming language
Language:Standard ML806 35 15366

majorseitan's Repositories

majorseitan/cloud-sdk-docker
Docker image with all the components of the Google Cloud SDK
Language:Dockerfile00
majorseitan/nodetimer
Simple pomodoro timer in node.js
Language:JavaScript0 2 00