aiverson Goto Github PK

advent-of-code

Advent of code solutions

aiverson.me

My personal website

alicorn

An experimental new functional language with an emphasis on performance, metaprogramming, and type safety

alicorn-amulet

A prototype implementation of alicorn in amulet

amulet

An ML-like functional programming language

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

bitwiseavcballoons

Computer vision code for the Sparkfun AVC for Bitwise, Byte Foolish

bitwiseavccontrol

busted

Elegant Lua unit testing.

constellation

The Terra-Constellation Language

doom-emacs

An Emacs configuration for the stubborn martian vimmer

enso

Hybrid textual and visual functional programming.

feathergui

Feather - The Future of UI

frlua

Functional Reactive programming capabilities for lua.

icpc-code

Code snippets, files, tests, and experiments related to the ICPC.

lit

Toolkit for developing, sharing, and running luvit/lua programs and libraries.

lovr

Virtual Reality Engine

lua-language-server

Lua Language Server coded by Lua

lua-nomic

an implementation of nomic using capability security in lua

lua-quickcheck

Property based testing in Lua, inspired by the original QuickCheck.

luaextensions

Extensions to lua syntax inspired by Groovy.

luv

Bare libuv bindings for lua

luvi

A project in-between luv and luvit.

luvit

Lua + libUV + jIT = pure awesomesauce

luvit-nix

Nix packaging for the luvit runtime and ecosystem

mobile-nixos

Questions? #nixos-aarch64 (or #nixos) on Freenode!

nixops

NixOps is a tool for deploying to NixOS machines in a network or cloud.

nixos-simula

Packaging the simula window manager for nixos

nixpkgs

Nix Packages collection

openvr-advancedsettings

OpenVR Advanced Settings Dashboard Overlay