dwrensha Goto Github PK

fuzz-capnproto

fuzz-rustc

setup for fuzzing the Rust compiler

git

Git Source Code Mirror - This is a publish-only repository and all pull requests are ignored. Please follow Documentation/SubmittingPatches procedure for any of your improvements.

gitlab-sandstorm

GitLab as a Sandstorm app

gitlab-shell

gitlabhq

Open source software to collaborate on code. Follow us on twitter @gitlabhq

gitweb-sandstorm

git repo as Sandstorm app

gj

event loop and promises in Rust

gjio

asynchronous I/O in Rust

golf-horse-submissions

submissions for http://golf.horse

groovebasin

Music player server with a web-based user interface.

groovebasin.com

website for groovebasin project

identicon.js

GitHub-style identicons in JS with no server-side processing.

ipython

Official repository for IPython itself. Other repos in the IPython organization contain things like the website, documentation builds, etc.

irc-idler

IRC idler app for sandstorm

ld20

game for ludum dare 20

ld26

game for ludum dare 26

lean4

Lean 4 programming language and theorem prover

lean4-maze

maze game encoded in Lean 4 syntax

lean4-metaprogramming-book

leanprover-community.github.io

Hosts the website for mathlib and other Lean community infrastructure.

lepidopter

game for ludum dare 24

libsodium

A modern and easy-to-use crypto library.

lobsters

Rails code running the lobste.rs link aggregation site

lobsters-sandstorm

Sandstorm port of lobste.rs

math-puzzles-in-lean

math puzzles from various sources, formalized in Lean

math-puzzles-in-lean4

math puzzles from various sources, formalized in Lean 4

mathlib

Lean mathematical components library

mathlib4

Work in progress mathlib port for lean 4

meteor-accounts-sandstorm

Sandstorm.io login integration for Meteor applications.