Donaim

lambdacc

primitive lambda calculus to C compiler

qutebrowser-shell-send

Plugin for qutebrowser to send selected text to terminal

agda

Agda is a dependently typed programming language / interactive theorem prover.

bblab-server

Useful tools for HIV research from the Brockman and Brumme Lab at SFU

Donaim

hacalc-web

Web interface for hacalc

dpdk

Data Plane Development Kit

git-tools

My scripts for git

guile-wm

A Window Manager Toolkit for Guile Scheme

hacalc

Calculator based on rewriting semantics

hacalc-ide

Console based IDE for hacalc

Haploflow

hedy

Hedy is a gradual programming language to teach children programming. Gradual languages use different language levels, where each level adds new concepts and syntactic complexity. At the end of the Hedy level sequence, kids master a subset of syntactically valid Python.

magic-racket

A featureful syntax highlighting plugin for Racket

minimap2

A versatile pairwise aligner for genomic and spliced nucleotide sequences

myagdalib

Common code for my agda projects

NistRng

Random Number Generator NIST Test Suite framework for python 3.6 - SAILab - University of Siena

ocf

Open CAS Framework

passerine

A small extensible programming language designed for concise expression with little code.

PatternT

Library for rewrite systems

PatterntCommonFrontend

Frontend for PatternT

PythonWyklad

Wykład z Pythona. Start 17.10.2015.

qutebrowser

A keyboard-driven, vim-like browser based on PyQt5.

racket-utils

Custom macros and functions that I use for racket projects

signup-form

Simple event signup form built on react/redux/mongodb/express/node.js stack

time-tracking-server

Nest.js server for tracking tasks

tuxi

Tuxi is a cli assistant. Get answers of your questions instantly.

vkhs

Haskell library dealing with vkontakte social network

vscode-racket-repl

A simple REPL for Racket in Visual Studio Code.

yenten

Yenten; cryptocurrency of the cpu, by the cpu, for the cpu