Giters
Domagoj Stolfa (dstolfa)

dstolfa

Geek Repo

18

followers

3

following

3

stars

Company:University of Cambridge

Location:Cambridge, UK

Github PK Tool:Github PK Tool

Domagoj Stolfa's repositories

BasicRegAlloc

Basic register allocator taking LVA output and weights to use as a heuristic.

Language:C++Stargazers:4Issues:0Issues:0

freebsd

FreeBSD src tree

Language:CLicense:NOASSERTIONStargazers:2Issues:3Issues:0

wpa2-psk-keygen

Generates a random variable size key for WPA2/PSK, depends on arc4random.

Language:CLicense:BSD-2-ClauseStargazers:1Issues:0Issues:0

cheribsd

FreeBSD adapted for CHERI-RISC-V and Arm Morello.

License:NOASSERTIONStargazers:0Issues:0Issues:0

cheribsd-ports

FreeBSD ports tree adapted for CheriBSD.

License:NOASSERTIONStargazers:0Issues:0Issues:0

documentation

Language:TeXLicense:BSD-2-ClauseStargazers:0Issues:0Issues:0

freebsd-quarterly

FreeBSD quarterly reports

License:NOASSERTIONStargazers:0Issues:0Issues:0

libtrue

You can't handle the truth

Language:CLicense:BSD-2-ClauseStargazers:0Issues:0Issues:0

ott

Ott is a tool for writing definitions of programming languages and calculi

Language:OCamlLicense:NOASSERTIONStargazers:0Issues:1Issues:0

phd-thesis-template

A LaTeX / XeLaTeX / LuaLaTeX PhD thesis template for Cambridge University Engineering Department (CUED)

Language:TeXLicense:MITStargazers:0Issues:0Issues:0

scripts

Some useful scripts.

Language:ShellStargazers:0Issues:0Issues:0

vm-bhyve

Shell based, minimal dependency bhyve manager

Language:ShellLicense:BSD-2-ClauseStargazers:0Issues:0Issues:0

qmk_firmware

Open-source keyboard firmware for Atmel AVR and Arm USB families

License:GPL-2.0Stargazers:0Issues:0Issues:0