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

riscv-jit-emulator

WIP emulator for riscv that (eventually will) jit-compiles code -- the intention is to run cargo/rustc in a sandbox

Language:RustLicense:LGPL-2.1Stargazers:2Issues:0Issues:0
Language:C++License:MITStargazers:1Issues:0Issues:0

parallel-hashlife-4

Parallel/Multithreaded 1D/2D/3D Hashlife algorithm

Language:RustLicense:LGPL-2.1Stargazers:1Issues:0Issues:0

rust-hdl

(mirror) WIP hardware description language embedded in Rust -- kinda like nmigen

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

blog.rust-lang.org

The Rust Programming Language Blog

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

crev-proofs

Crev proof repository

Stargazers:0Issues:0Issues:0

cvc5

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

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

Exile

Survival game for Minetest.

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

ghost-cell

An implementation of Joshua Yanovski's Ghost Cell paper.

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

inkwell

It's a New Kind of Wrapper for Exposing LLVM (Safely)

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

libre-soc-wiki

the libre-soc wiki, but with some extra branches

Language:PythonStargazers:0Issues:3Issues:0

maturin

Build and publish crates with pyo3, rust-cpython and cffi bindings as well as rust binaries as python packages

Language:RustLicense:Apache-2.0Stargazers:0Issues:0Issues:0
Language:RustLicense:LGPL-2.1Stargazers:0Issues:0Issues:0

platforms-crate

Rust platform registry with information about valid Rust platforms sourced from Rust Forge

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

project-portable-simd

Portable SIMD project group

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

pyo3

Rust bindings for the Python interpreter

Language:RustLicense:NOASSERTIONStargazers:0Issues:0Issues:0
Language:PythonStargazers:0Issues:0Issues:0
License:Apache-2.0Stargazers:0Issues:0Issues:0

sby

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

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

simd-splat-demo

Demo of SIMD splatting, see https://rust-lang.zulipchat.com/#narrow/stream/257879-project-portable-simd/topic/Splatting.20APIs/near/212368202

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

simple-riscv-cpu

Simple RISC-V RV32I CPU

Language:PythonLicense:LGPL-2.1Stargazers:0Issues:2Issues:0
Language:CLicense:GPL-2.0Stargazers:0Issues:0Issues:0

team

Rust teams structure

License:NOASSERTIONStargazers:0Issues:0Issues:0

this-week-in-rust

Data for this-week-in-rust.org

Language:HTMLStargazers:0Issues:2Issues:0

uraniumstuff

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

Language:LuaLicense:ZlibStargazers:0Issues:2Issues:0
Language:RustLicense:MITStargazers:0Issues:0Issues:0

wasmer.io

The Wasmer.io website

Stargazers:0Issues:0Issues:0

website

AssemblyScript's website and documentation.

Language:HTMLStargazers:0Issues:2Issues:0

yosys

Yosys Open SYnthesis Suite

Language:C++License:ISCStargazers:0Issues:2Issues:0