vtheno Goto Github PK

nand2tetris

Solutions for http://www.nand2tetris.org/

nanogui

Minimalistic GUI library for OpenGL

nanovg

Antialiased 2D vector drawing library on top of OpenGL for UI and visualizations.

neko-typehint

nhc98

nhc98 is a small, easy to install, standards-compliant compiler for Haskell 98, the lazy functional programming language.

nodemcu-devkit-v1.0

nodemcu-firmware

Lua based interactive firmware for ESP8266, ESP8285 and ESP32

nodemcu-http-server

A lightweight HTTP server for NodeMCU.

odin

Odin Programming Language

opengl_example

Python OpenGL Example

opentk

The Open Toolkit library is a fast, low-level C# wrapper for OpenGL, OpenAL & OpenCL. It also includes windowing, mouse, keyboard and joystick input and a robust and fast math library, giving you everything you need to write your own renderer or game engine. OpenTK can be used standalone or inside a GUI on Windows, Linux, Mac.

optimization

orgmode-html-themes

It's a collection of the CSS and JS files for OrgMode exported html.

orgwiki

personal wiki generated by org-mode

p

panda3d-tutorial

A Tutorial about game creation with the Panda3D game engine

panda3d-tutorial2

A Tutorial about creating game ready models with Blender for Panda3D

parcom

SML Parser Combinator Library

parsec-py

Parser Combinator library in Python

parsec.py

A universal Python parser combinator library inspired by Parsec library of Haskell.

parser-combinators

Parser combinators in Python (a la pyparsing and Haskell's Parsec)

parser-combinators-1

This repository contains the support material for a presentation I made about "monadic parser combinators"

phpweb

Web

pkgs

plipy

Programming Language Implementation with Python

plt

Programming Language Theory

powershellconfig

my PowerShell profile config

project-based-tutorials-in-c

A curated list of project-based tutorials in C

purescripto

Loader and RTS for purescript-python

pwnat

pwnat punches holes in firewalls and NATs allowing any numbers of clients behind NATs to directly connect to a server behind a different NAT using a newly developed technique with no 3rd party, port forwarding, DMZ or spoofing