Pinned Repositories
almique
A Python SME to VHDL compiler
campspiltirsdag
cofaas
Automatic Transformation-based Consolidation of Serverless Functions
cofaas-rust
Rust language support for CoFaaS
cppsme
dikumail.dk
dikumail.dk webinterface
disease-crawler
A disease datamining project
language-vhdl-quote
VHDL parsing library
libsme
SME Intermediate Language library and utilities
pysme
Python Synchronous Message Exchange (SME) library
truls's Repositories
truls/cofaas
Automatic Transformation-based Consolidation of Serverless Functions
truls/cofaas-rust
Rust language support for CoFaaS
truls/dotfiles
truls/emacs-scihub
Sci-Hub integration for Emacs
truls/slurm.el
Emacs extension to interact with the SLURM jobs scheduler
truls/aio-request
Elisp wrapper enabling request to be used with aio
truls/ChampSim
ChampSim repository
truls/cofaas-go
go langauge support for CoFaaS
truls/cofaas-idl-transform
CoFaaS component for transforming IDLs to WIT
truls/DeathStarBench
Open-source benchmark suite for cloud microservices
truls/emacs-pgtk-nativecomp-copr
Pure Gtk + native compilation builds of GNU Emacs
truls/emacs-request
Request.el -- Easy HTTP request for Emacs Lisp
truls/faas-profiler
An open source tool for testing and profiling FaaS platforms
truls/flexus
Contains the code for the Flexus cycle-accurate simulator, used in QFlex.
truls/FontPro-rpm
RPM packaging scripts for LaTeX Adobe fonts
truls/lsp-pyright
lsp-mode :heart: pyright
truls/melpa
Recipes and build machinery for the biggest Emacs package repo
truls/openwhisk
Apache OpenWhisk is an open source serverless cloud platform
truls/org-ref
org-mode modules for citations, cross-references, bibliographies in org-mode and useful bibtex tools to go with it.
truls/phd-thesis
My PhD thesis
truls/pyright
Static type checker for Python
truls/qemu
PARSA's fork of the official QEMU repo, with all features added for simulation.
truls/serverless-faas-workbench
FunctionBench
truls/ssass-mode
Write Sass without a Turing Machine
truls/teleport
The easiest, and most secure way to access and protect all of your infrastructure.
truls/toggle-font
Toggle between two fonts in an emacs buffer
truls/toggle-theme
Toggle between two themes in emacs
truls/vagrant-tramp
Vagrant method for Emacs' tramp
truls/vHive
vHive: Open-source framework for serverless experimentation
truls/vSwarm
A suite of representative serverless cloud-agnostic (i.e., dockerized) benchmarks