Beast code in Giters

Adam Barth's repositories

marquee

An implementation of <marquee> using web components

Language:JavaScriptBSD-3-Clause72 30

tau

An operating system for the Raspberry Pi

Language:C++BSD-3-Clause58 60

app-widgets

Experiments in creating Polymer elements for mobile web apps

Language:JavaScript33 6 1

url-spec

A specification for processing URLs

Language:XSLT12 20

websec

Repository of web security specifications

Language:Tcl9 3 2

sysapps

Repository for the W3C System Applications working group

Language:Python5 40

google-dnswall

Automatically exported from code.google.com/p/google-dnswall

Language:CApache-2.04 1 11

build

A basic gn build configuration

2 10

fx

Scaffolding for working with Fuchsia

Language:Shell2 10

coverage

Dart coverage data manipulation and formatting

Language:DartApache-2.01 10

dotfiles

My dotfiles

Language:Vim ScriptBSD-3-Clause1 10

lk

LK embedded kernel

Language:CMIT1 10

manifest-experimental

Experiments with jiri manifests

Language:Shell1 10

mksh

mksh experiments

1 10

terminal

A terminal emulator written in Dart.

Language:DartMIT1 10

z3

The Z3 Theorem Prover

Language:C++NOASSERTION1 10

bravo

Nothing to see here. Move along.

Language:C++BSD-3-Clause000

freecell

An implementation of freecell in Dart

Language:DartBSD-3-Clause010

hipaa

Automatically exported from code.google.com/p/hipaa

Language:PHP01 2

m

HTML components for mobile

BSD-3-Clause010

verde

A simple operating system based on Linux

Language:MakefileBSD-3-Clause010

verde-manifest

Jiri manifests for Verde

BSD-3-Clause010

websecmodel

Automatically exported from code.google.com/p/websecmodel

Language:Alloy020

z3go

Go bindings for the Z3 SMT solver

Language:GoMIT010

z3p

Bridge player based on Z3

Language:PythonBSD-3-Clause020