All Git Users → stepchowfun

12 open source projects by stepchowfun

[ Open user page on Github ]

1. Docuum

Docuum performs least recently used (LRU) eviction of Docker images. 🗑️

✭ 213

rust docker docker-images

2. Theorem Prover

An automated theorem prover for first-order logic.

✭ 190

python

3. Socket.js

A realtime communication framework for Node.js.

✭ 144

javascript

4. Proofs

A selection of formal proofs in Coq.

✭ 135

coq type-theory

5. Effects

A brief exploration of the various approaches to modeling side effects in a purely functional programming language.

✭ 98

haskell functional-programming

6. Hashpass

A simple, stateless password manager for Chrome.

✭ 90

javascript

7. Toast

Containerize your development and continuous integration environments. 🥂

✭ 748

rust docker containers ci continuous-integration build-tool development-environment build-system

8. raytracer

A browser-based real-time raytracer written in CoffeeScript.

✭ 54

CSS ruby coffeescript HTML javascript

9. doesgoogleexecutejavascript

Google executes JavaScript, even if the script is fetched from the network. However, Google does not make AJAX requests.

✭ 14

javascript

10. typical

Data interchange with algebraic data types.

✭ 114

rust typescript javascript Terra perl shell serialization algebraic-data-types type-safety data-interchange interface-definition-language interface-description-language

11. tagref

Tagref helps you maintain cross-references in your code.

✭ 92

rust shell continuous-integration linter cross-reference cross-references cross-referencing

12. data-structure-explorer

A web-based pedagogical tool for exploring data structures.

✭ 48

javascript coffeescript HTML ruby CSS

1-12 of 12 user projects