Pinned Repositories
AspNetCore.Docs
Documentation for ASP.NET Core
be_dal
open source BE DAL website
book
A textbook on informal homotopy type theory
c4
C in four functions
ChemistrySet
A library for composable fine-grained concurrency.
CooperativeSokoban
project_euler
XMulti
A simple content management system written in XSLT
nubok's Repositories
nubok/be_dal
open source BE DAL website
nubok/CooperativeSokoban
nubok/project_euler
nubok/XMulti
A simple content management system written in XSLT
nubok/AspNetCore.Docs
Documentation for ASP.NET Core
nubok/book
A textbook on informal homotopy type theory
nubok/c4
C in four functions
nubok/ChemistrySet
A library for composable fine-grained concurrency.
nubok/firmware
This repository contains pre-compiled binaries of the current Raspberry Pi kernel and modules, userspace libraries, and bootloader/GPU firmware.
nubok/hott-notes
15-819 (Homotopy Type Theory) Lecture Notes
nubok/imagetestsuite
Automatically exported from code.google.com/p/imagetestsuite
nubok/Let-s-build-a-compiler
A C version of the Let's Build a Compiler, by Jack Crenshaw
nubok/monoid
Customisable coding font with alternates, ligatures and contextual positioning. Crazy crisp at 12px/9pt. http://larsenwork.com/monoid/
nubok/py-videocore
Python library for GPGPU on Raspberry Pi
nubok/radeon_gpu_analyzer
The Radeon GPU Analyzer (RGA) is an offline compiler and code analysis tool for Vulkan, DirectX, OpenGL, and OpenCL.
nubok/RP2040-HAT-C
Ethernet Example for RP2040
nubok/source-code-pro
Monospaced font family for user interface and coding environments
nubok/the-book-of-secret-knowledge
:star: A collection of awesome lists, manuals, blogs, hacks, one-liners, cli/web tools and more.
nubok/theHoTTGameGuide
nubok/vc6qpudisas
Disassembler of VideoCore VI QPU
nubok/vcqpudisasm
nubok/xv6-book
Commentary for xv6-public
nubok/xv6-public
xv6 OS