• This repository has been archived on 17/Jan/2022
  • Stars
    star
    48
  • Rank 594,835 (Top 12 %)
  • Language
    JavaScript
  • Created over 10 years ago
  • Updated over 7 years ago

Reviews

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

Repository Details

A web-based pedagogical tool for exploring data structures.

More Repositories

1

toast

Containerize your development and continuous integration environments. 🥂
Rust
1,499
star
2

docuum

Docuum performs least recently used (LRU) eviction of Docker images. 🗑️
Rust
489
star
3

proofs

My personal repository of formally verified mathematics.
Coq
259
star
4

theorem-prover

An automated theorem prover for first-order logic.
Python
225
star
5

tagref

Tagref helps you maintain cross-references in your code.
Rust
148
star
6

socket.js

A realtime communication framework for Node.js.
JavaScript
143
star
7

hashpass

A simple password manager with a twist.
TypeScript
113
star
8

effects

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

typical

Data interchange with algebraic data types.
Rust
81
star
10

raytracer

A browser-based real-time raytracer written in CoffeeScript.
CSS
53
star
11

cfg-checker

Search for ambiguities in context-free grammars.
C++
38
star
12

unicode

Portable ASCII and Unicode string manipulation functions for C++.
C++
21
star
13

doesgoogleexecutejavascript

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

dotfiles

My configuration files.
Shell
13
star
15

paxos

An implementation of single-decree Paxos.
Rust
10
star
16

dubstepn

My personal blog.
Ruby
9
star
17

base16-circus-scheme

A theme for the Base16 color system.
6
star
18

gigamesh

A home for all your notes.
TypeScript
6
star
19

coq-intro

An introduction to proving theorems and certifying programs with Coq.
Coq
5
star
20

gigamesh-schema

The Typical schema for the Gigamesh data model.
Perl
3
star
21

stem-cell

A simple project to demonstrate the cross-platform release management process I use for my open source work.
Shell
3
star
22

subjunct

A website for sharing secrets.
Ruby
3
star
23

garnet

A fast and minimalist template engine for Node.
JavaScript
2
star
24

webpack-scaffolding

Scaffolding for building web applications.
JavaScript
2
star
25

gists

Small projects that don't deserve their own repository.
Python
1
star