Giters
Paul deGrandis (ohpauleez)

ohpauleez

Geek Repo

211

followers

39

following

763

stars

Location:New Hampshire

Home Page:http://www.pauldee.org

Github PK Tool:Github PK Tool

Organizations
clojuredocs
pedestal
shoreleave

Paul deGrandis's starred repositories

salt

Language:ClojureLicense:MITStargazers:190Issues:0Issues:0

lisb

Language:ClojureStargazers:4Issues:0Issues:0

alloy-ts

Alloy instances in TypeScript

Language:TypeScriptLicense:MITStargazers:5Issues:0Issues:0

sterling-ui

Web-based visualization for Sterling

Language:TypeScriptStargazers:3Issues:0Issues:0

sterling

Alloy with browser-based visualizations

Language:JavaStargazers:25Issues:0Issues:0

Crucible

A graphical testing suite for AUnit and Alloy

Language:TypeScriptStargazers:4Issues:0Issues:0

why3do

Why3-do: a WhyML library for state machine specifications and distributed systems

Language:ShellLicense:MITStargazers:4Issues:0Issues:0

liquid-types

Logically Qualified Data Types - automatically infer refinement types

Language:RustLicense:Apache-2.0Stargazers:15Issues:0Issues:0

pika

A WIP little dependently-typed systems language

Language:RustLicense:NOASSERTIONStargazers:35Issues:0Issues:0

durin

the Dependent Unboxed higher-oRder Intermediate Notation

Language:RustLicense:NOASSERTIONStargazers:13Issues:0Issues:0

cwe_checker

cwe_checker finds vulnerable patterns in binary executables

Language:RustLicense:LGPL-3.0Stargazers:1087Issues:0Issues:0

twelf

The Twelf Programming Language

Language:Standard MLLicense:NOASSERTIONStargazers:100Issues:0Issues:0

im-lists

Immutable unrolled linked lists

Language:RustLicense:Apache-2.0Stargazers:3Issues:0Issues:0

millet

A language server for Standard ML.

Language:RustLicense:Apache-2.0Stargazers:201Issues:0Issues:0

amazon-snapshot-spec

TLA+ and Alloy specs of database isolation

Language:AlloyStargazers:19Issues:0Issues:0

r9

The R9 operating system

Language:RustLicense:MITStargazers:439Issues:0Issues:0

jumprope-rs

Language:RustLicense:NOASSERTIONStargazers:134Issues:0Issues:0

json-joy

JSON CRDT, JSON CRDT Patch, JSON Patch+, JSON Predicate, JSON Pointer, JSON Expression, JSON Type

Language:TypeScriptLicense:Apache-2.0Stargazers:711Issues:0Issues:0

lets-prove-leftpad

Proving leftpad correct two-dozen different ways

Language:SystemVerilogLicense:NOASSERTIONStargazers:628Issues:0Issues:0

cr-sqlite

Convergent, Replicated SQLite. Multi-writer and CRDT support for SQLite

Language:RustLicense:MITStargazers:2650Issues:0Issues:0

pg_crdt

POC CRDT support in Postgres

Language:RustLicense:PostgreSQLStargazers:385Issues:0Issues:0

diamond-types

The world's fastest CRDT. WIP.

Language:RustStargazers:1480Issues:0Issues:0

mgl

Common Lisp machine learning library.

Language:Common LispLicense:MITStargazers:585Issues:0Issues:0

languagetool

Style and Grammar Checker for 25+ Languages

Language:JavaLicense:LGPL-2.1Stargazers:11873Issues:0Issues:0

inferno-os

Inferno® is a distributed operating system. Inferno represents services and resources in a file-like name hierarchy, including devices, network and protocol interfaces, dynamic data sources, and services.Applications are written in a concurrent programming language, Limbo.

Language:CStargazers:526Issues:0Issues:0

AdaptiveCpp

Implementation of SYCL and C++ standard parallelism for CPUs and GPUs from all vendors: The independent, community-driven compiler for C++-based heterogeneous programming models. Lets applications adapt themselves to all the hardware in the system - even at runtime!

Language:C++License:BSD-2-ClauseStargazers:1200Issues:0Issues:0

erigone

Erigone Model Checker

Language:AdaStargazers:8Issues:0Issues:0

concurrent-distributed

Principle of Concurrent and Distributed Programming (Second Edition)

Language:AdaStargazers:2Issues:0Issues:0

jspin

GUI for running the SPIN model checker

Language:JavaStargazers:13Issues:0Issues:0

JPPF

The open source grid computing solution

Language:JavaLicense:Apache-2.0Stargazers:63Issues:0Issues:0