bluelightning32 Goto Github PK
Type: User
Type: User
Adds compatibility for the Vintage Story mods alchemy and wildcraft herbs and spices
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.
Overloadable Notations for Coq
Interactive theorem proving with Coq in vim.
Port of the dactyl keyboard model from clojure to openjscad.
Dirmi is a replacement for Java RMI which supports bidirectional remote objects.
An unofficial .Net wrapper for the Discord API (http://discordapp.com)
Server side Vintage Story mod for a Discord bridge
A library for patching, replacing and decorating .NET and Mono methods during runtime
This plugin synchronizes the player inventory with a database
Mechanical replacements for the function row keys on Kinesis keyboards
This a maven repository for some minecraft mods that can't be downloaded from the curseforge maven repository.
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.
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
Android terminal and Linux environment - packages repository.
The Unnamed Persistence Library
An add on plugin for InvSync to synchronize the equipped v0id's smart backpacks
An End Game mod for Vintage Story
Demo mod for the minidimensions feature of Vintage Story
Vintage story mod to give a health buff for eating a greater variety of foods
Extremely simple Vintage Story mod to show which methods are called when blocks are right clicked
Coq logic puzzle mod for Vintage Story
Vintage Story Protobuf Schema Generator
Wireshark dissector for the Vintage Story game
A Vintage Story clientside only mod to save trees by not having to write down the values of your prospecting.
C++ examples of writing stl files for 3d printing using VTK and vtkbool
A new boolean operations filter for VTK
3D boolean operation library with VTK adapter
Adapter to call Walnut from JavaScript
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google ❤️ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.