Pinned Repositories
Alicorn
An experimental new functional language with an emphasis on performance, metaprogramming, and type safety
alicorn-amulet
A prototype implementation of alicorn in amulet
BitwiseAVCBalloons
Computer vision code for the Sparkfun AVC for Bitwise, Byte Foolish
BitwiseAVCControl
frlua
Functional Reactive programming capabilities for lua.
lua-language-server
Lua Language Server coded by Lua
lua-nomic
an implementation of nomic using capability security in lua
luvit-nix
Nix packaging for the luvit runtime and ecosystem
nixos-simula
Packaging the simula window manager for nixos
vr-keyboard
Experiments for typing in VR using current generation controllers
aiverson's Repositories
aiverson/vr-keyboard
Experiments for typing in VR using current generation controllers
aiverson/Alicorn
An experimental new functional language with an emphasis on performance, metaprogramming, and type safety
aiverson/alicorn-amulet
A prototype implementation of alicorn in amulet
aiverson/lua-language-server
Lua Language Server coded by Lua
aiverson/lua-nomic
an implementation of nomic using capability security in lua
aiverson/luvit-nix
Nix packaging for the luvit runtime and ecosystem
aiverson/nixos-simula
Packaging the simula window manager for nixos
aiverson/quicksand
A low-level probabilistic programming framework embedded in Terra.
aiverson/resume
My Resume
aiverson/std
A repository to store code implementing common features, algorithms, and datastructures that are generally useful to terra code
aiverson/advent-of-code
Advent of code solutions
aiverson/aiverson.me
My personal website
aiverson/amulet
An ML-like functional programming language
aiverson/athens
Open-Source Networked Thought. Rolling out our Beta to Sponsors. Read more at https://www.notion.so/athensresearch/MVP-Update-Funding-and-Why-I-Started-Athens-e68822f0c3654660ae621cdcbf932bc4
aiverson/busted
Elegant Lua unit testing.
aiverson/constellation
The Terra-Constellation Language
aiverson/doom-emacs
An Emacs configuration for the stubborn martian vimmer
aiverson/enso
Hybrid textual and visual functional programming.
aiverson/feathergui
Feather - The Future of UI
aiverson/icpc-code
Code snippets, files, tests, and experiments related to the ICPC.
aiverson/lit
Toolkit for developing, sharing, and running luvit/lua programs and libraries.
aiverson/lovr
Virtual Reality Engine
aiverson/luvi
A project in-between luv and luvit.
aiverson/mobile-nixos
Questions? #nixos-aarch64 (or #nixos) on Freenode!
aiverson/nixops
NixOps is a tool for deploying to NixOS machines in a network or cloud.
aiverson/nixpkgs
Nix Packages collection
aiverson/OpenVR-AdvancedSettings
OpenVR Advanced Settings Dashboard Overlay
aiverson/terra
Terra is a low-level system programming language that is embedded in and meta-programmed by the Lua programming language.
aiverson/terrawatch
A tool for live incremental rebuilds of terra code.
aiverson/xe-site
The new frontend/backend code for https://christine.website