Alex23087's Stars
pazz/beamerthemeEdinburgh
University of Edinburgh theme for latex beamer
mthulin/UoE-beamer
Beamer template for the University of Edinburgh
dr-ni/onboard
Onboard is an onscreen keyboard useful for everybody that cannot use a hardware keyboard; for example TabletPC users, mobility impaired users,...
rvaiya/warpd
A modal keyboard-driven virtual pointer
Kharacternyk/pacwall
A live wallpaper that shows the dependency graph and status of installed packages.
donno2048/snake
A minimal snake in assembly
ranisalt/hp-omen-linux-module
Control the HP Omen keyboard lighting and performance settings in Linux
g-lago8/Appunti-CM
appunti Computational Mathematics for learning and data analysis (Unipi)
jaakkopasanen/AutoEq
Automatic headphone equalization from frequency responses
woodrush/lambda-8cc
x86 C compiler written in untyped lambda calculus
Alex23087/Failure-SSIL-Analyser
dorchard/sessions-in-haskell
Artefact from the POPL'16 paper "Effects as Sessions, Sessions as Effects"
kovidgoyal/kitty-themes
Themes for the kitty terminal emulator
boystrange/FuSe
A simple library implementation of binary sessions
jaspwr/LiA
A transpiled superset of TeX for writing LaTeX.
Fred-ef/smart-battleship
Implementation of a customized version of the battleship game on the Ethereum blockchain
sideeffects/WindingNumber
Code for fast approximate generalized winding number (solid angle) computation for triangle soups
alou-S/omen-fan
Utility to control fans in Omen laptops
marcoantoniocorallo/EsoCaml
Small esoteric language, inspired by reMorse and Ocaml
jfet97/pitogo
jfet97/pitogo-web