Pinned Repositories
ant-lock
File based mutex lock for ant
awesome-coronavirus
🦠 Huge collection of useful projects and resources for COVID-19 (2019 novel Coronavirus)
django_vertica_backend
hajvm
A partially implemented java virtual machine written in haskell.
Kandidat
Bachelor project, using partial evaluation to optimize programs during runtime in a lazy functional language.
master
Master Thesis: Implementing Safety Critical Software Modules Using A Function Language
mecab.js
Node.js bindings for mecab (japanese word boundaries)
PureEqSat
Equality Saturation for a small pure language
Solverine
Theorem prover using sequent calculus, generates pretty proof trees in latex
ur
Resolve undefined references automagically
simedw's Repositories
simedw/Kandidat
Bachelor project, using partial evaluation to optimize programs during runtime in a lazy functional language.
simedw/Solverine
Theorem prover using sequent calculus, generates pretty proof trees in latex
simedw/PureEqSat
Equality Saturation for a small pure language
simedw/hajvm
A partially implemented java virtual machine written in haskell.
simedw/mecab.js
Node.js bindings for mecab (japanese word boundaries)
simedw/ant-lock
File based mutex lock for ant
simedw/master
Master Thesis: Implementing Safety Critical Software Modules Using A Function Language
simedw/ur
Resolve undefined references automagically
simedw/awesome-coronavirus
🦠 Huge collection of useful projects and resources for COVID-19 (2019 novel Coronavirus)
simedw/django_vertica_backend
simedw/exif_parser
A exif_parser for elixir
simedw/fastimage
Find the type or size of an image
simedw/human-pose-estimation.pytorch
The project is an official implement of our ECCV2018 paper "Simple Baselines for Human Pose Estimation and Tracking(https://arxiv.org/abs/1804.06208)"
simedw/jacoco-plugin
simedw/jenkins-pr-comment-search
Search the current (github) PR for comments matching a regex when running Jenkins pipeline
simedw/json_serde
simedw/klonk
A text editor with an sort-of-unusual undo/redo algorithm
simedw/patchimage
modify New Super Mario Bros. Wii, Mario Kart Wii, Kirby's Adventure Wii, Tokyo Mirage Sessions #FE, Pokemon X/Y, Pokemon OR/AS, Bravely Second
simedw/Pester
Powershell BDD style testing framework
simedw/pg_query_ex
A libpg_query wrapper in elixir
simedw/postbuildscript-plugin
simedw/Pytorch-UNet
PyTorch implementation of the U-Net for image semantic segmentation with high quality images
simedw/scout_apm_elixir
ScoutAPM Elixir Agent. Supports Phoenix and other frameworks.
simedw/slugify
An Elixir library to convert strings in any language into slugs
simedw/starteam-plugin
Jenkins starteam plugin
simedw/uiar
simedw/wasmex
Execute WebAssembly from Elixir