Pinned Repositories
xUML-RT-Executor
xUML-RT Model Executor
configurable-data-layout
Configurable Data Structure Layout for Memory Hierarchies
genetic-algorithms
Some exercises from the book "An Introduction to Genetic Algorithms" by Mitchell Melanie
nixos-config
parallella-cipher-demo
Demo application for encryption on Parallella using RAW-Feldspar and Zeldspar
parallella-dsp-demo
Demo application for DSP on Parallella using RAW-Feldspar and Zeldspar
raw-feldspar-mcs
Multi-Core & Scratchpad Support for Resource-Aware Feldspar
verified-disposable
Disposable objects in Java with run-time usage verification
zeldspar
Ziria + Feldspar = sant
kmate's Repositories
kmate/parallella-cipher-demo
Demo application for encryption on Parallella using RAW-Feldspar and Zeldspar
kmate/ActiveHs
Haskell code presentation tool
kmate/agda-highlight
Some crappy code for highlighting Agda
kmate/configurable-data-layout
Configurable Data Structure Layout for Memory Hierarchies
kmate/genetic-algorithms
Some exercises from the book "An Introduction to Genetic Algorithms" by Mitchell Melanie
kmate/coverlay.el
Test coverage overlay for Emacs
kmate/epiphany-bsp
BSP implementation on top of the Epiphany SDK.
kmate/epiphany-libs
Epiphany runtime libraries and utilities
kmate/epiphany-prototypes
Prototypes for testing epiphany features for raw-feldspar-mcs
kmate/forvo-lingo
Integration of Forvo pronunciation dictionary into Duolingo
kmate/HaRe
The Haskell Refactoring Tool
kmate/haskell-tools
Developer tools for Haskell
kmate/imperative-edsl
Deep embedding of imperative programs with code generation
kmate/language-dot
A library for the analysis and creation of Graphviz DOT files
kmate/MulticastOpRouting
Distributed Network Coding-based Opportunistic Routing for Multicast
kmate/poker-player-haskell
Haskell client skeleton for Lean Poker
kmate/raw-feldspar
Resource-aware Feldspar