Giters
Open Skies (aiverson)

aiverson

Geek Repo

20

followers

0

following

17

stars

Github PK Tool:Github PK Tool

Open Skies's repositories

vr-keyboard

Experiments for typing in VR using current generation controllers

Language:LuaStargazers:2Issues:3Issues:0

Alicorn

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

Language:TerraStargazers:1Issues:2Issues:0

alicorn-amulet

A prototype implementation of alicorn in amulet

Language:OCamlStargazers:1Issues:4Issues:0

lua-language-server

Lua Language Server coded by Lua

Language:LuaLicense:MITStargazers:1Issues:2Issues:0

lua-nomic

an implementation of nomic using capability security in lua

Language:LuaStargazers:1Issues:2Issues:1

luvit-nix

Nix packaging for the luvit runtime and ecosystem

Language:NixLicense:Apache-2.0Stargazers:1Issues:3Issues:0

nixos-simula

Packaging the simula window manager for nixos

Language:NixStargazers:1Issues:4Issues:0

quicksand

A low-level probabilistic programming framework embedded in Terra.

Language:TerraLicense:MITStargazers:1Issues:3Issues:0

resume

My Resume

Language:HTMLStargazers:1Issues:3Issues:2

std

A repository to store code implementing common features, algorithms, and datastructures that are generally useful to terra code

Language:TerraLicense:MITStargazers:1Issues:3Issues:0

advent-of-code

Advent of code solutions

Language:LuaStargazers:0Issues:3Issues:0

aiverson.me

My personal website

Language:JavaScriptStargazers:0Issues:3Issues:0

amulet

An ML-like functional programming language

Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:2Issues:0

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

Language:ClojureLicense:NOASSERTIONStargazers:0Issues:2Issues:0

busted

Elegant Lua unit testing.

Language:LuaLicense:MITStargazers:0Issues:2Issues:0

constellation

The Terra-Constellation Language

Language:PerlLicense:MITStargazers:0Issues:3Issues:0

doom-emacs

An Emacs configuration for the stubborn martian vimmer

Language:Emacs LispLicense:MITStargazers:0Issues:3Issues:0

enso

Hybrid textual and visual functional programming.

Language:ScalaLicense:Apache-2.0Stargazers:0Issues:2Issues:0

feathergui

Feather - The Future of UI

Language:TerraStargazers:0Issues:2Issues:0

icpc-code

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

Language:C++Stargazers:0Issues:3Issues:0

lit

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

Language:LuaLicense:Apache-2.0Stargazers:0Issues:3Issues:0

lovr

Virtual Reality Engine

Language:CLicense:MITStargazers:0Issues:2Issues:0

luvi

A project in-between luv and luvit.

Language:CLicense:Apache-2.0Stargazers:0Issues:3Issues:0

mobile-nixos

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

Language:NixLicense:MITStargazers:0Issues:2Issues:0

nixops

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

Language:PythonLicense:LGPL-3.0Stargazers:0Issues:2Issues:0

nixpkgs

Nix Packages collection

Language:NixLicense:MITStargazers:0Issues:2Issues:0

OpenVR-AdvancedSettings

OpenVR Advanced Settings Dashboard Overlay

Language:C++License:GPL-3.0Stargazers:0Issues:2Issues:0

terra

Terra is a low-level system programming language that is embedded in and meta-programmed by the Lua programming language.

Language:C++License:NOASSERTIONStargazers:0Issues:3Issues:0

terrawatch

A tool for live incremental rebuilds of terra code.

License:MITStargazers:0Issues:3Issues:0

xe-site

The new frontend/backend code for https://christine.website

Language:RustLicense:ZlibStargazers:0Issues:2Issues:0