vizaxo Goto Github PK

.emacs.d

My emacs configuration. Highlights include Evil-mode and EXWM.

cancon

Interpreter for a simple statically-typed concatenative language with type infererence.

cpu-vhdl

Learning VHDL for CPU design

dotfiles

My general dotfiles (excluding .emacs.d, which is in a separate repo)

dtlang

Interpreter and compiler for a dependently-typed core language, with garbage collection.

dynamiccities

Cities that get fancy!

evolution-simulator

gameboy-emulator

Game Boy emulator in Haskell

hdl-haskell

how-to-ask-questions-the-smart-way

idrissudoku

A simple sudoku solver written in idris to teach myself about using dependent types.

inferno

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

locomotive-engine

mandelbrot

A simple visualiser for the Mandelbrot set (graphical or ASCII)

minimalisp

Interpreter for a minimal lisp to teach myself more about Haskell and writing programming languages/interpreters/parsers.

mud-server

Telnet server for a MUD (multi-user dungeon) game

my-hobby-os

A simple x86_64 OS to learn about OS development

nestrisredraw

Scan and redraw low-quality NES Tetris games into crisp high-quality output

nixpkgs

Nix Packages collection

noise-texture-generator

Generate random noise textures

open-fallingblock

A game of falling blocks

optal

An experimental implementation of Lamping's optimal algorithm for reducing lambda terms

perlinzonesexample

An example world generator to showcase Zones in Terasology.

prototypeworld

A prototype of a new world generator for Terasology

ray-tracer

A path-tracing ray tracer in Haskell

raymarcher

Raymarching spectral path tracer in Futhark.

small-lisp

A small lisp with macros

spectral-path-tracer

Spectral path tracer in GLSL shaders and OpenGL