Discover @Vizaxo Open Source projects

Mitch (@Vizaxo)

Vizaxo

Stars
23
Global Rank 587,022 (Top 21 %)
Followers 17
Following 6
Registered over 7 years ago
Most used languages

Haskell
60.0 %

C
10.0 %

Idris 10.0 %

Python
10.0 %

Emacs Lisp
10.0 %
Location 🇬🇧 United Kingdom
Country Total Rank 21,374
Country Ranking

Idris 33

Haskell
194

Emacs Lisp
295

C
4,974

dtlang

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

Cancon

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

voxel-game

Voxel rendering engine in Haskell using modern OpenGL

raymarcher

Raymarching spectral path tracer in Futhark.

liveshader-hs

Live GLSL shader coding environment in Haskell

.emacs.d

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

IdrisSudoku

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

x86-os

x86_64 operating system

liveshader-futhark

Shadertoy-like interface for shader programming in Futhark, a purely-functional GPU programming language.

noise-texture-generator

Generate random noise textures

gameboy-emulator

Game Boy emulator in Haskell