bluelightning32

Pinned Repositories

alchemycompat
Adds compatibility for the Vintage Story mods alchemy and wildcraft herbs and spices
Language:Shell0 1 00
coq
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
Language:OCaml0 1 00
coq-overload
Overloadable Notations for Coq
Language:Coq0 1 00
coquille
Interactive theorem proving with Coq in vim.
Language:Vim Script1 1 01
dactyl-openjscad
Port of the dactyl keyboard model from clojure to openjscad.
Language:JavaScript4 2 10
Dirmi
Dirmi is a replacement for Java RMI which supports bidirectional remote objects.
Language:Java0 1 00
kinesis-fn
Mechanical replacements for the function row keys on Kinesis keyboards
Language:JavaScript2 1 01
vs-protocol
Wireshark dissector for the Vintage Story game
Language:C++2 1 00
vtk_print_examples
C++ examples of writing stl files for 3d printing using VTK and vtkbool
Language:C++1 3 00
walnut
3D boolean operation library with VTK adapter
Language:C++5 6 51

bluelightning32's Repositories

bluelightning32/walnut
3D boolean operation library with VTK adapter
Language:C++5 6 51
bluelightning32/dactyl-openjscad
Port of the dactyl keyboard model from clojure to openjscad.
Language:JavaScript4 2 10
bluelightning32/kinesis-fn
Mechanical replacements for the function row keys on Kinesis keyboards
Language:JavaScript2 1 01
bluelightning32/vs-protocol
Wireshark dissector for the Vintage Story game
Language:C++2 1 00
bluelightning32/coquille
Interactive theorem proving with Coq in vim.
Language:Vim Script1 1 01
bluelightning32/vtk_print_examples
C++ examples of writing stl files for 3d printing using VTK and vtkbool
Language:C++1 3 00
bluelightning32/alchemycompat
Adds compatibility for the Vintage Story mods alchemy and wildcraft herbs and spices
Language:Shell0 1 00
bluelightning32/coq
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
Language:OCaml0 1 00
bluelightning32/coq-overload
Overloadable Notations for Coq
Language:Coq0 1 00
bluelightning32/Dirmi
Dirmi is a replacement for Java RMI which supports bidirectional remote objects.
Language:Java0 1 00
bluelightning32/Discord.Net
An unofficial .Net wrapper for the Discord API (http://discordapp.com)
Language:C#0 1 00
bluelightning32/discordbot
Server side Vintage Story mod for a Discord bridge
Language:C#0 2 10
bluelightning32/Harmony
A library for patching, replacing and decorating .NET and Mono methods during runtime
Language:C#0 1 00
bluelightning32/InvSync
This plugin synchronizes the player inventory with a database
Language:Java0 1 00
bluelightning32/minecraft-maven
This a maven repository for some minecraft mods that can't be downloaded from the curseforge maven repository.
1 0
bluelightning32/OpenJSCAD.org
JSCAD is an open source set of modular, browser and command line tools for creating parametric 2D and 3D designs with JavaScript code. It provides a quick, precise and reproducible method for generating 3D models, and is especially useful for 3D printing applications.
Language:JavaScript
bluelightning32/openwrt
This repository is a mirror of https://git.openwrt.org/openwrt/openwrt.git It is for reference only and is not active for check-ins or for reporting issues. We will continue to accept Pull Requests here. They will be merged via staging trees then into openwrt.git. All issues should be reported at: https://bugs.openwrt.org
Language:C
bluelightning32/termux-packages
Android terminal and Linux environment - packages repository.
Language:Shell1 0
bluelightning32/Tupl
The Unnamed Persistence Library
Language:Java1 0
bluelightning32/V0idsSmartBackpacksSync
An add on plugin for InvSync to synchronize the equipped v0id's smart backpacks
Language:Java1 01
bluelightning32/VintageEngineering
An End Game mod for Vintage Story
Language:C#0 0
bluelightning32/vs-dimensions-demo
Demo mod for the minidimensions feature of Vintage Story
Language:C#
bluelightning32/vs-gourmand
Vintage story mod to give a health buff for eating a greater variety of foods
Language:C#1 0
bluelightning32/vs-interactions-demo
Extremely simple Vintage Story mod to show which methods are called when blocks are right clicked
Language:C#
bluelightning32/vs-lambda
Coq logic puzzle mod for Vintage Story
Language:C#1 0
bluelightning32/vs-proto
Vintage Story Protobuf Schema Generator
Language:C#
bluelightning32/VsProspectorInfo
A Vintage Story clientside only mod to save trees by not having to write down the values of your prospecting.
Language:C#0 0
bluelightning32/vtkbool
A new boolean operations filter for VTK
bluelightning32/walnut-javascript
Adapter to call Walnut from JavaScript
Language:C++4 1