Pinned Repositories
concurrencer
dxflibrary
A DXF library written in C#. Currenly it contains only DXF constructing and generator classes.
evaluation-coref
IteRace
race detection for Java parallel loops
pascal_compiler
A simple pseudopascal compiler in ruby
pcbe_bursa
Bursa stuff. Ce smecheri suntem.
readPao
take-out reading
vhdl_robertson
Booth algorithm implemented in VHDL
WALAFacade
facade for using WALA from Scala
WALA
T.J. Watson Libraries for Analysis, with frontends for Java, Android, and JavaScript, and may common static program analyses
cos's Repositories
cos/dxflibrary
A DXF library written in C#. Currenly it contains only DXF constructing and generator classes.
cos/WALAFacade
facade for using WALA from Scala
cos/IteRace
race detection for Java parallel loops
cos/architect
Architect is a Jekyll theme for GitHub Pages
cos/better-files
Simple, safe and intuitive Scala I/O
cos/bluebird
:bird: :zap: Bluebird is a full featured promise library with unmatched performance.
cos/brackets
An open source code editor for the web, written in JavaScript, HTML and CSS.
cos/chocolate-factory-1
the yummy way to clean code
cos/estree
The ESTree Spec
cos/G2
📊 The Grammar of Graphics in JavaScript
cos/gatsby
⚛️📄🚀 Blazing fast static site generator for React
cos/halmos
A symbolic testing tool for EVM smart contracts
cos/javascript-semantics
KJS: A Complete Formal Semantics of JavaScript
cos/k
The K tools
cos/kore-in-maude
cos/locutus
All your standard libraries will be assimilated into our JavaScript collective. Resistance is futile.
cos/mold-transformations
cos/move-book
The Move Book and The Move Reference
cos/PHP-Parser
A PHP parser written in PHP
cos/pomodoro
Time management for your Mac
cos/react
A declarative, efficient, and flexible JavaScript library for building user interfaces.
cos/react-ace
React Ace Component
cos/sbt-maven-plugin
A sbt plugin which reads project definitions from pom.xml
cos/shields
Concise, consistent, and legible badges in SVG and raster format
cos/three.js
JavaScript 3D library.
cos/tidy-website
cos/WALA
T.J. Watson Libraries for Analysis
cos/WALAFacade-java-start
A small example of using WALAFacade from Java
cos/webpack
A bundler for javascript and friends. Packs many modules into a few bundled assets. Code Splitting allows to load parts for the application on demand. Through "loaders," modules can be CommonJs, AMD, ES6 modules, CSS, Images, JSON, Coffeescript, LESS, ... and your custom stuff.
cos/workspace-iterace
workspace for evaluating the IteRace project