Giters
bluelightning32

bluelightning32

Geek Repo

3

followers

0

following

3

stars

Github PK Tool:Github PK Tool

bluelightning32's repositories

dactyl-openjscad

Port of the dactyl keyboard model from clojure to openjscad.

Language:JavaScriptLicense:NOASSERTIONStargazers:4Issues:0Issues:0

walnut

3D boolean operation library with VTK adapter

Language:C++License:MITStargazers:4Issues:0Issues:0

coquille

Interactive theorem proving with Coq in vim.

Language:Vim scriptLicense:ISCStargazers:1Issues:0Issues:0

vs-protocol

Wireshark dissector for the Vintage Story game

Language:C++License:GPL-2.0Stargazers:1Issues:0Issues:0

vtk_print_examples

C++ examples of writing stl files for 3d printing using VTK and vtkbool

Language:C++License:UnlicenseStargazers:1Issues:0Issues:0

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:OCamlLicense:LGPL-2.1Stargazers:0Issues:0Issues:0

coq-overload

Overloadable Notations for Coq

Language:CoqLicense:0BSDStargazers:0Issues:0Issues:0

Dirmi

Dirmi is a replacement for Java RMI which supports bidirectional remote objects.

Language:JavaStargazers:0Issues:0Issues:0

Discord.Net

An unofficial .Net wrapper for the Discord API (http://discordapp.com)

Language:C#License:MITStargazers:0Issues:0Issues:0

discordbot

Server side Vintage Story mod for a Discord bridge

Language:C#License:MITStargazers:0Issues:0Issues:0

Harmony

A library for patching, replacing and decorating .NET and Mono methods during runtime

Language:C#License:MITStargazers:0Issues:0Issues:0

InvSync

This plugin synchronizes the player inventory with a database

Language:JavaLicense:GPL-3.0Stargazers:0Issues:0Issues:0

kinesis-fn

Mechanical replacements for the function row keys on Kinesis keyboards

Language:JavaScriptLicense:MITStargazers:0Issues:0Issues:0

minecraft-maven

This a maven repository for some minecraft mods that can't be downloaded from the curseforge maven repository.

License:NOASSERTIONStargazers:0Issues:0Issues:0

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:JavaScriptLicense:MITStargazers:0Issues:0Issues:0

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:CLicense:GPL-2.0Stargazers:0Issues:0Issues:0

termux-packages

Android terminal and Linux environment - packages repository.

Language:ShellLicense:NOASSERTIONStargazers:0Issues:0Issues:0

Tupl

The Unnamed Persistence Library

Language:JavaLicense:Apache-2.0Stargazers:0Issues:0Issues:0

V0idsSmartBackpacksSync

An add on plugin for InvSync to synchronize the equipped v0id's smart backpacks

Language:JavaLicense:Apache-2.0Stargazers:0Issues:0Issues:0

VsProspectorInfo

A Vintage Story clientside only mod to save trees by not having to write down the values of your prospecting.

Language:C#License:MITStargazers:0Issues:0Issues:0

vtkbool

A new boolean operations filter for VTK

License:Apache-2.0Stargazers:0Issues:0Issues:0

walnut-javascript

Adapter to call Walnut from JavaScript

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