jensengrey's Stars
cldellow/sqlite-parquet-vtable
A SQLite vtable extension to read Parquet files
maxcountryman/warc-parquet
🗄️ A simple CLI for converting WARC to Parquet.
shenango/shenango
tomerfiliba-org/rpyc
RPyC (Remote Python Call) - A transparent and symmetric RPC library for python
Jongy/struct_layout
A GCC plugin to dump the final layout of a struct.
benfred/remoteprocess
Cross platform process information in Rust
benfred/py-spy
Sampling profiler for Python programs
eatonphil/lust
A parser, compiler, and virtual machine evaluator for a minimal subset of Lua; written from scratch in Rust.
kyren/gc-arena
Incremental garbage collection from safe Rust
kyren/piccolo
An experimental stackless Lua VM implemented in pure Rust
PyO3/pyo3
Rust bindings for the Python interpreter
ethanhs/python-wasm
Build scripts and configuration for building CPython for Emscripten
redpanda-data/redpanda
Redpanda is a streaming data platform for developers. Kafka API compatible. 10x faster. No ZooKeeper. No JVM!
creusot-rs/creusot
Creusot helps you prove your code is correct in an automated fashion.
sarsko/CreuSAT
CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.
kanaka/warpy
WebAssembly interpreter in RPython
ethereum/py-wasm
A python implementation of the web assembly interpreter
chipsalliance/riscv-dv
Random instruction generator for RISC-V processor verification
robfinch/Cores
google/autopiper
bytecodealliance/regalloc2
A new register allocator
mattvenn/instrumented_adder
Instrumenting adders to measure speed
tomverbeure/rt
A Full Hardware Real-Time Ray-Tracer
nturley/netlistsvg
draws an SVG schematic from a JSON netlist
google/pcbdl
PCB Design Language: A programming way to design schematics.
wasm3/wasm3-self-compiling
turbolent/w2c2
Translates WebAssembly modules to portable C
JanWielemaker/swi-prolog-wasm
SWI-Prolog ported to WebAssembly
ML-KULeuven/problog
ProbLog is a Probabilistic Logic Programming Language for logic programs with probabilities.
mcsoto/cosmos
A new logic programming language.