Results for “Washington State Ferries”

Ximera

free interactive mathematics textbooks (Ohio State University)

cs.washington.edu/research/ai

cs.washington.edu/research/ai

unimport

A linter, formatter for finding and removing unused import statements.

Phasar

A LLVM-based static analysis framework which comes with a taint and type state analysis.

Demo

Demo

cState

Static status page for hyperfast Hugo. Clean design, minimal JS, super light HTML/CSS, high customization, optional admin panel, read-only API, IE8+. ([Demo](https://cstate.mnts.lt/), [Source Code](https://github.com/cstate/cstate)) `MIT` `HTML`

Siesta

Elegant abstraction for REST APIs that untangles stateful messes. An alternative to callback- and delegate-based networking.

Daikon

Detects likely program invariants and generates JML specs based on those invariants.

JavaCC

Parser generator that generates top-down parsers. Allows lexical state switching and permits extended BNF specifications.

CAP Theorem

States that it is impossible for a distributed computer system to simultaneously provide all three of the following guarantees: Consistency, Availability and Partition tolerance.

JSON-RPC 2.0

A stateless, light-weight remote procedure call (RPC) protocol.

Cadence

Fault-oblivious stateful code platform.

Maschinelle Sprachgebrauchsanalyse - Grundlagen der Korpuslinguistik

course material on text-mining / corpus-linguistics *in German* funded by the federal state of North Rhine-Westphalia

Programming Languages

Programming Languages

CFEngine

Lightweight agent system. Configuration state is specified via a declarative language.

Demo

Demo

Fava

Web frontend of Beancount, a text based double-entry accounting system. ([Demo](https://fava.pythonanywhere.com/example-with-budgets/income_statement/), [Source Code](https://github.com/beancount/fava)) `MIT` `Python`

Transport for Washington, US

Transport for Washington, US

Transport for United States

Transport for United States

BC Ferries

BC Ferries