simedw

Kandidat

Bachelor project, using partial evaluation to optimize programs during runtime in a lazy functional language.

Solverine

Theorem prover using sequent calculus, generates pretty proof trees in latex

PureEqSat

Equality Saturation for a small pure language

hajvm

A partially implemented java virtual machine written in haskell.

mecab.js

Node.js bindings for mecab (japanese word boundaries)

ant-lock

File based mutex lock for ant

master

Master Thesis: Implementing Safety Critical Software Modules Using A Function Language

ur

Resolve undefined references automagically

awesome-coronavirus

🦠 Huge collection of useful projects and resources for COVID-19 (2019 novel Coronavirus)

django_vertica_backend

exif_parser

A exif_parser for elixir

fastimage

Find the type or size of an image

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)"

jacoco-plugin

jenkins-pr-comment-search

Search the current (github) PR for comments matching a regex when running Jenkins pipeline

klonk

A text editor with an sort-of-unusual undo/redo algorithm

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

Pester

Powershell BDD style testing framework

pg_query_ex

A libpg_query wrapper in elixir

postbuildscript-plugin

Pytorch-UNet

PyTorch implementation of the U-Net for image semantic segmentation with high quality images

scout_apm_elixir

ScoutAPM Elixir Agent. Supports Phoenix and other frameworks.

slugify

An Elixir library to convert strings in any language into slugs

starteam-plugin

Jenkins starteam plugin

uiar

wasmex

Execute WebAssembly from Elixir