Highlights
- Pro
More
-
blog Public
Arbitrary Ramblings about topics I have something to say about. Usually technical, frequently unpolished
Lua UpdatedJun 13, 2025 -
-
luvit-nix Public
Nix packaging for the luvit runtime and ecosystem
-
lua-nomic Public
an implementation of nomic using capability security in lua
-
alicorn-amulet Public
A prototype implementation of alicorn in amulet
-
-
nixpkgs Public
Forked from NixOS/nixpkgsNix Packages collection
Nix MIT License UpdatedNov 21, 2021 -
amulet Public
Forked from amuletml/amuletAn ML-like functional programming language
-
std Public
Forked from terralang/stdA repository to store code implementing common features, algorithms, and datastructures that are generally useful to terra code
-
-
The new frontend/backend code for https://christine.website
Rust zlib License UpdatedApr 19, 2021 -
mobile-nixos Public
Forked from mobile-nixos/mobile-nixosQuestions? #nixos-aarch64 (or #nixos) on Freenode!
Nix MIT License UpdatedMar 24, 2021 -
-
OpenVR-AdvancedSettings Public
Forked from OpenVR-Advanced-Settings/OpenVR-AdvancedSettingsOpenVR Advanced Settings Dashboard Overlay
C++ GNU General Public License v3.0 UpdatedAug 15, 2020 -
athens Public
Forked from athensresearch/athensOpen-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
Clojure Other UpdatedJul 25, 2020 -
nixops Public
Forked from NixOS/nixopsNixOps is a tool for deploying to NixOS machines in a network or cloud.
Python GNU Lesser General Public License v3.0 UpdatedMay 18, 2020 -
luvi Public
Forked from luvit/luviA project in-between luv and luvit.
C Apache License 2.0 UpdatedMay 8, 2020 -
terra Public
Forked from terralang/terraTerra is a low-level system programming language that is embedded in and meta-programmed by the Lua programming language.
C++ Other UpdatedApr 24, 2020 -
vr-keyboard Public
Experiments for typing in VR using current generation controllers
-
enso Public
Forked from andrewdmeier/ensoHybrid textual and visual functional programming.
Scala Apache License 2.0 UpdatedJan 31, 2020 -
-
Alicorn Public
An experimental new functional language with an emphasis on performance, metaprogramming, and type safety
-
feathergui Public
Forked from Fundament-Software/featherguiFeather - The Future of UI
Terra UpdatedOct 9, 2019 -
busted Public
Forked from lunarmodules/bustedElegant Lua unit testing.
Lua MIT License UpdatedSep 16, 2019 -
constellation Public
Forked from Block-G/constellationThe Terra-Constellation Language
Perl MIT License UpdatedSep 16, 2019 -
lua-language-server Public
Forked from LuaLS/lua-language-serverLua Language Server coded by Lua
-
Toolkit for developing, sharing, and running luvit/lua programs and libraries.
Lua Apache License 2.0 UpdatedJun 9, 2019 -
doom-emacs Public
Forked from doomemacs/doomemacsAn Emacs configuration for the stubborn martian vimmer
Emacs Lisp MIT License UpdatedApr 5, 2019 -
icpc-code Public
Code snippets, files, tests, and experiments related to the ICPC.
C++ UpdatedFeb 27, 2019 -
terrawatch Public
A tool for live incremental rebuilds of terra code.
MIT License UpdatedFeb 23, 2019