amal029/amal029.github.io
Public repository.
Developer Profile
amal029
Discovered public repositories for amal029 in the GitHub catalog.
amal029/symclo
Computer algebra system (CAS) in clojure
amal029/lambda-lifter
Lambda lifter game from ICFP'2012 implemented in clojure
amal029/clojure-examples
A number of data structures/algorithms from steven skiena implemented in clojure
amal029/opam-repository
Main public package repository for OPAM, the source package manager of OCaml.
amal029/sched_smt_ilp
Scheduling task graphs -- SMT vs ILP formulation comparisons
amal029/st
IEC-61131-3 Structured text parser
amal029/cgals_coq_semantic_equivalence
Coq proof of equivalence of micro and macro step semantics of cgals -- including data!
amal029/Cgals
Programming language for safety critical and real-time systems
amal029/rtsj
Paper for ASPDAC 2014
amal029/jop
Instrumented Java Optimized processor
amal029/llvm
LLVM with aggressive vectorization + loop optimizations
amal029/llvm_opt
LLVM optimizer -- support interleaved access patters/Aos2SoA conversion, large vector strip-mining, and loop blocking/strip-mining
amal029/sc_tpds_2013
sa_paper_tpds_2013
amal029/ipdps_2013_2
IPDPS PAPER 2
amal029/ipdps_2013
IPDPS 2013
amal029/emacs_backup
EMACS BACKUP
amal029/lib-metis
Ocaml bindings to Metis graph partitoning library
amal029/poly
Poly language
amal029/hetrogpart
Partitoning heuristics for heterogeneous architectures
amal029/ocaml-gxl-light
A Ocaml library for parsing and manipulating GXL files
amal029/Stream2MC
Compiling stream graphs to model-checkers, ILP, and heuristic algorithms
amal029/emacs-mode-for-Bzr-language
Public repository.