quinor Goto Github PK

agda-kernel

An experimental Agda kernel for Jupyter

coap_lightserver

CoAP server for university IOT project

crapbot

Firmware for a robot built from trashcan parts.

fair-functional-language

Interpreter of a functional language written in Haskell.

fluidsim

CLI Factorio fluid simulator for testing fluid system ideas

fpga_scratch

scratch space for my FPGA code.

harddoom2

"HardDoom ][" device driver for Advanced Operating Systems class

instant

Compiler of the language "Instant" for compilers class at the university

latte

Latte language compiler for compiler class

lightning

Lightning generation project for a numerical differential equation class

linalg

linalg.h is a single header, public domain, short vector math library for C++

machinelearningseminar

Seminarium Magisterskie Machine Learning

matrixmul

Distributed matrix multiplication algorithm for HPC class

oi_tester

Simple, multi-threaded and lightweight personal testing toolkit for programming/algorithmic tasks.

parsy

Easy parser combinators for python

plotter-frontend

web interface to load images, configure and run a plotting machine

pytorch-lightning

The lightweight PyTorch wrapper for ML researchers. Scale your models. Write less boilerplate

sdk

Babelfish driver SDK

simple_autograd

Simplified reimplementation of pytorch's autograd - for educational purposes.

treediff

Abstract Syntax Tree Difference

treediff-go

treediff implementation in go for the bblfsh (bblf.sh) project

trng

tree-like rng for gamedev applications.

tspart

A program for generating TSP art paths and a powerful image manipulation library.

tsparter

Spiritual successor of my tspart project

twitterbot

Bot for twitter that processes images.

wild_driver

Simple SVG driver for a Wild TA-10 drawing/cutting plotter. For the purposes of Technologia Incognita.

wmd-relax