bocchino

Pasadena, CA

Pinned Repositories

AppleCore
A core language for the Apple II
Language:Java5 2 42
ClusterSTM
A software transactional memory (STM) implementation designed for large-scale "shared nothing" clusters
Language:C2 2 01
cppw
C++ Writer: A tool for writing C++ files
Language:Awk2 2 00
DPJ-UR
DPJ with Unique Regions
Language:Java0 2 00
fprime
F' - A flight software and embedded systems framework
Language:C++0 1 121
fprime-system-reference
A full-system reference for F´ projects.
Language:C++0 0 00
JavaRG
Java with Reference Groups
Language:Java1 2 00
ParAbs
High-level abstractions that support safe parallel programming with imperative updates
Language:F#0 2 00
redo
A revised version of Avery Pennarun's redo.
Language:Python11 3 42
SoftwareTools
An implementation of Kernighan and Plauger's Software Tools
Language:C82

bocchino's Repositories

bocchino/redo
A revised version of Avery Pennarun's redo.
Language:Python11 3 42
bocchino/SoftwareTools
An implementation of Kernighan and Plauger's Software Tools
Language:C82
bocchino/AppleCore
A core language for the Apple II
Language:Java5 2 42
bocchino/ClusterSTM
A software transactional memory (STM) implementation designed for large-scale "shared nothing" clusters
Language:C2 2 01
bocchino/cppw
C++ Writer: A tool for writing C++ files
Language:Awk2 2 00
bocchino/JavaRG
Java with Reference Groups
Language:Java1 2 00
bocchino/DPJ-UR
DPJ with Unique Regions
Language:Java0 2 00
bocchino/fprime
F' - A flight software and embedded systems framework
Language:C++0 1 121
bocchino/fprime-system-reference
A full-system reference for F´ projects.
Language:C++0 0 00
bocchino/ParAbs
High-level abstractions that support safe parallel programming with imperative updates
Language:F#0 2 00
bocchino/ScalaLE
Scala with Logical Effects
Language:Scala2 0
bocchino/ScalaLE-Compiler
The Scala programming language
Language:Scala
bocchino/unix-tools
UNIX tools for typesetting and shell programming
Language:Perl