Pinned Repositories
amps-screeps
Amp's Screeps (In Scala.JS)
auto2up
A (eventually) smart PDF 2-up tool
aws-sdk-cpp-feedstock
A conda-smithy repository for aws-sdk-cpp.
case-continuations
Continuations that can be serialized in stupid ways for inane systems
chisel
katana
lapis2
Automatic virtualization of (general) accelerators.
scala-decl-actor
DeclActor is a library that allows you to define the set of messages that should be used on an actor and use them in a type safe way.
katana
orc
Orc programming language implementation
arthurp's Repositories
arthurp/amps-screeps
Amp's Screeps (In Scala.JS)
arthurp/katana
arthurp/auto2up
A (eventually) smart PDF 2-up tool
arthurp/aws-sdk-cpp-feedstock
A conda-smithy repository for aws-sdk-cpp.
arthurp/case-continuations
Continuations that can be serialized in stupid ways for inane systems
arthurp/lapis2
Automatic virtualization of (general) accelerators.
arthurp/clang_complete
Vim plugin that use clang for completing C/C++ code.
arthurp/deep-mixins
A deep mix-in macro for Scala
arthurp/genetic-prographs
Program Graphs for Genetic Evolution
arthurp/github-tool-testing-repo
This repo is used for testing github tools and features
arthurp/GraMi
GraMi is a novel framework for frequent subgraph mining in a single large graph, GraMi outperforms existing techniques by 2 orders of magnitudes. GraMi supports finding frequent subgraphs as well as frequent patterns, Compared to subgraphs, patterns offer a more powerful version of matching that captures transitive interactions between graph nodes (like friend of a friend) which are very common in modern applications. Also, GraMi supports user-defined structural and semantic constraints over the results, as well as approximate results. For more details, check our paper: Mohammed Elseidy, Ehab Abdelhamid, Spiros Skiadopoulos, and Panos Kalnis. GRAMI: Frequent Subgraph and Pattern Mining in a Single Large Graph. PVLDB, 7(7):517-528, 2014.
arthurp/homeshick
git dotfiles synchronizer written in bash
arthurp/jitwatch
Log analyser / visualiser for Java HotSpot JIT compiler. Inspect inlining decisions, hot methods, bytecode, and assembly. View results in the JavaFX user interface.
arthurp/jumpto
A set of bash scripts which allow jumping to directories in favorite locations quickly.
arthurp/libcypher-parser-conda-recipe
arthurp/macro-issues
A place to put minimized examples of issues I am having with scala macros.
arthurp/MicroJson
A lightweight JSON model for Scala and Scala.js
arthurp/ModularFuelSystem
Modular fuel tanks and engines, with real fuels and realistic performance.
arthurp/mumbler
Cesquivias' experimental programming language using Truffle
arthurp/numba
NumPy aware dynamic Python compiler using LLVM
arthurp/Optimus
Optimus is a mathematical programming library for Scala.
arthurp/pannellum
Pannellum is a lightweight, free, and open source panorama viewer for the web.
arthurp/prickle
arthurp/python-class-test
arthurp/regex-optimizer
A probably incorrect regular expression and glob pattern list optimizer
arthurp/release-test
A testing repo for github.io for release repos
arthurp/savina
Savina is an Actor Benchmark Suite.
arthurp/SmartHome
My not-so-smart home software
arthurp/tagatag
Messing with tagging and fuse
arthurp/XChart
XChart is a light-weight Java library for plotting data.