Pinned Repositories
.emacs.d
My emacs configuration. Highlights include Evil-mode and EXWM.
Cancon
Interpreter for a simple statically-typed concatenative language with type infererence.
dtlang
Interpreter and compiler for a dependently-typed core language, with garbage collection.
gameboy-emulator
Game Boy emulator in Haskell
liveshader-futhark
Shadertoy-like interface for shader programming in Futhark, a purely-functional GPU programming language.
liveshader-hs
Live GLSL shader coding environment in Haskell
raymarcher
Raymarching spectral path tracer in Futhark.
spectral-path-tracer
Spectral path tracer in GLSL shaders and OpenGL
voxel-game
Voxel rendering engine in Haskell using modern OpenGL
x86-os
x86_64 operating system
Vizaxo's Repositories
Vizaxo/x86-os
x86_64 operating system
Vizaxo/dotfiles
My general dotfiles (excluding .emacs.d, which is in a separate repo)
Vizaxo/How-To-Ask-Questions-The-Smart-Way
Vizaxo/spectral-path-tracer
Spectral path tracer in GLSL shaders and OpenGL
Vizaxo/liveshader-hs
Live GLSL shader coding environment in Haskell
Vizaxo/noise-texture-generator
Generate random noise textures
Vizaxo/open-fallingblock
A game of falling blocks
Vizaxo/.emacs.d
My emacs configuration. Highlights include Evil-mode and EXWM.
Vizaxo/raymarcher
Raymarching spectral path tracer in Futhark.
Vizaxo/liveshader-futhark
Shadertoy-like interface for shader programming in Futhark, a purely-functional GPU programming language.
Vizaxo/voxel-game
Voxel rendering engine in Haskell using modern OpenGL
Vizaxo/small-lisp
A small lisp with macros
Vizaxo/ray-tracer
A path-tracing ray tracer in Haskell
Vizaxo/nixpkgs
Nix Packages collection
Vizaxo/gameboy-emulator
Game Boy emulator in Haskell
Vizaxo/dtlang
Interpreter and compiler for a dependently-typed core language, with garbage collection.
Vizaxo/mud-server
Telnet server for a MUD (multi-user dungeon) game
Vizaxo/NESTrisRedraw
Scan and redraw low-quality NES Tetris games into crisp high-quality output
Vizaxo/optal
An experimental implementation of Lamping's optimal algorithm for reducing lambda terms
Vizaxo/Cancon
Interpreter for a simple statically-typed concatenative language with type infererence.
Vizaxo/IdrisSudoku
A simple sudoku solver written in idris to teach myself about using dependent types.
Vizaxo/Mandelbrot
A simple visualiser for the Mandelbrot set (graphical or ASCII)
Vizaxo/Vizaxo.github.io
The generated HTML for my blog. The Jekyll source repo will be uploaded soon.
Vizaxo/Inferno
Vizaxo/Terasology
Terasology - open source voxel world
Vizaxo/PrototypeWorld
A prototype of a new world generator for Terasology
Vizaxo/PerlinZonesExample
An example world generator to showcase Zones in Terasology.