Jacob Lifshay (programmerjake)

programmerjake

Geek Repo

Home Page:http://programmerjake.tk/

Github PK Tool:Github PK Tool


Organizations
cargo-in-wasm
kazan-3d
rust-lang

Jacob Lifshay's repositories

algebraics

algebraic numbers implemented in rust; mirror of https://salsa.debian.org/Kazan-team/algebraics

Language:RustLicense:LGPL-2.1Stargazers:26Issues:4Issues:2

preyproject-lock-screen

Lock Screen program for Prey project

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

aerial

A Minetest mod that adds wings to the game

License:MITStargazers:0Issues:0Issues:0

animalia

Basic Fauna for Minetest Game

License:MITStargazers:0Issues:0Issues:0

asuna

A Minetest game of vibrant natural wonders

License:NOASSERTIONStargazers:0Issues:0Issues:0

basic_materials

Basic materials/items for Minetest mods

Language:LuaLicense:NOASSERTIONStargazers:0Issues:1Issues:0

cargo-deb

A cargo subcommand that generates Debian packages from information in Cargo.toml

License:MITStargazers:0Issues:0Issues:0

cvc5

cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.

Language:SMTLicense:NOASSERTIONStargazers:0Issues:2Issues:0

dfcaverns

Replicating Dwarf Fortress' underground flora in Minetest

License:NOASSERTIONStargazers:0Issues:0Issues:0
Language:LuaLicense:AGPL-3.0Stargazers:0Issues:0Issues:0

ExchangeClone

Equivalent Exchange/ProjectE for Minetest Game and MineClone2/Mineclonia

Language:LuaLicense:GPL-3.0Stargazers:0Issues:1Issues:0

hashbrown

Rust port of Google's SwissTable hash map

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

home_point

A /sethome and /home

License:MITStargazers:0Issues:0Issues:0

lang-team

Home of the Rust language design team.

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

llvm-project

The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.

License:NOASSERTIONStargazers:0Issues:1Issues:0

matrix-appservice-irc

Node.js IRC bridge for Matrix

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

mdBook

Create book from markdown files. Like Gitbook but implemented in Rust

License:MPL-2.0Stargazers:0Issues:0Issues:0

microwatt

A tiny Open POWER ISA softcore written in VHDL 2008

Language:VerilogLicense:NOASSERTIONStargazers:0Issues:0Issues:0

nether

Nether mod for Minetest

Stargazers:0Issues:0Issues:0

portable-simd

The testing ground for the future of portable SIMD in Rust

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

rust

Empowering everyone to build reliable and efficient software.

Language:RustLicense:NOASSERTIONStargazers:0Issues:2Issues:0

rust-vcd

Read and write VCD (Value Change Dump) files in Rust

Language:RustLicense:MITStargazers:0Issues:0Issues:0

sby

SymbiYosys (sby) -- Front-end for Yosys-based formal verification flows

Language:PythonLicense:NOASSERTIONStargazers:0Issues:2Issues:0

scoped-tls

Scoped Thread Local Storage for Rust

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

syn

Parser for Rust source code

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

technic

Technic mod fork

Language:LuaStargazers:0Issues:1Issues:0

technic_armor

Technic armor addon for Minetest 3D Armor

Language:LuaLicense:NOASSERTIONStargazers:0Issues:1Issues:0
Language:C++License:LGPL-3.0Stargazers:0Issues:3Issues:0

uraniumstuff

Mod for Minetest, adds Uranium tools and armor, compatible with technic.

Language:LuaLicense:ZlibStargazers:0Issues:2Issues:0

WASI

WebAssembly System Interface

Language:RustStargazers:0Issues:2Issues:0