gbluma

Pinned Repositories

fuzz
A git copy of the Z-notation type-checker originally written by Mike Spivey
Language:TeX12
latex-boilerplate
The starting point for all my LaTeX documents.
Language:TeX37 4 015
literate
A bare-bones literate programming tool
Language:C7 3 11
terraform-proxmox-boilerplate
Just a template for building out some VMs
Language:HCL1 2 01
webgl-SSAO
An demo using THREE.js and SSAO + FXAA shaders
Language:HTML1 3 01

gbluma's Repositories

gbluma/latex-boilerplate
The starting point for all my LaTeX documents.
Language:TeX37 4 015
gbluma/literate
A bare-bones literate programming tool
Language:C7 3 11
gbluma/fuzz
A git copy of the Z-notation type-checker originally written by Mike Spivey
Language:TeX12
gbluma/terraform-proxmox-boilerplate
Just a template for building out some VMs
Language:HCL1 2 01
gbluma/webgl-SSAO
An demo using THREE.js and SSAO + FXAA shaders
Language:HTML1 3 01
gbluma/autocomplete-snippets
Adds snippets to autocomplete+ suggestions
Language:CoffeeScript
gbluma/binaries
gbluma/concatenative-php
Concatenative-PHP, a lightweight functional language built on PHP.
Language:PHP
gbluma/DNS-Proxy-Server-in-Python
A Proxy Server handle DNS request
gbluma/dotfiles
Language:VimL
gbluma/editor
Source code editor in pure Go.
Language:Go1 0
gbluma/felix
The Felix Programming Language
Language:OCaml3 0
gbluma/gbluma.github.io
Testing
Language:HTML
gbluma/gsl
iMatix GSL code generator
Language:C3 0
gbluma/lambda-sr
lambda-sr the numeric subrange lambda calculus
Language:Racket3 0
gbluma/msp430java-boilerplate
Language:Java
gbluma/ogl
Language:C++3 0
gbluma/php-quickcheck
Language:PHP3 01
gbluma/syntastic
Syntax checking hacks for vim
Language:VimL
gbluma/uint256_t
C++ unsigned 256 bit integer type
Language:C++2 0
gbluma/VersionStack
Language:PHP