Results for “Penn State”

generatingfunctionology

Herbert Wilf

Ximera

free interactive mathematics textbooks (Ohio State University)

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.

OpenNTPD

A FREE, easy to use implementation of the Network Time Protocol. ([Source Code](https://github.com/openntpd-portable/openntpd-openbsd/)) `ISC` `C`

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.

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

OpenNLP

A machine learning based toolkit for the processing of natural language text.

Introduction to Haskell

Introduction to Haskell

CFEngine

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

OpenNebula

An user-driven cloud management platform for sysadmins and devops.

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`

Unison

Unison is a file-synchronization tool for OSX, Unix, and Windows. ([Source Code](https://github.com/bcpierce00/unison)) `GPL-3.0` `deb/OCaml`