Giters
Jack Firth (jackfirth)

jackfirth

Geek Repo

163

followers

117

following

445

stars

Company:@google

Location:Sunnyvale, CA

Twitter:@doitwithalambda

Github PK Tool:Github PK Tool

Jack Firth's starred repositories

HVM

A massively parallel, optimal functional runtime in Rust

Language:CudaLicense:Apache-2.0Stargazers:10385Issues:98Issues:187

prql

PRQL is a modern language for transforming data — a simple, powerful, pipelined SQL replacement

Language:RustLicense:Apache-2.0Stargazers:9725Issues:44Issues:988

social-app

The Bluesky Social application for Web, iOS, and Android

Language:TypeScriptLicense:MITStargazers:7394Issues:67Issues:1694

atproto

Social networking technology created by Bluesky

Language:TypeScriptLicense:NOASSERTIONStargazers:5806Issues:96Issues:543

sandsifter

The x86 processor fuzzer

Language:PythonLicense:BSD-3-ClauseStargazers:4882Issues:168Issues:71

c2rust

Migrate C code to Rust

Language:RustLicense:NOASSERTIONStargazers:3869Issues:52Issues:562

spec

Development Containers: Use a container as a full-featured development environment.

License:CC-BY-4.0Stargazers:3287Issues:172Issues:202

rosenbridge

Hardware backdoors in some x86 CPUs

Language:CLicense:MITStargazers:2328Issues:89Issues:14

autocxx

Tool for safe ergonomic Rust/C++ interop driven from existing C++ headers

Language:RustLicense:Apache-2.0Stargazers:2120Issues:35Issues:498

feed-generator

ATProto Feed Generator Starter Kit

Language:TypeScriptLicense:MITStargazers:854Issues:29Issues:46

semver-trick

How to avoid complicated coordinated upgrades

Language:RustLicense:Apache-2.0Stargazers:424Issues:10Issues:6

reductio

An exploration of code homeomorphism

Language:PythonLicense:BSD-3-ClauseStargazers:360Issues:18Issues:1

CellPond

surreal cellular automata

Language:JavaScriptLicense:MITStargazers:283Issues:8Issues:314

a-mir-formality

a model of MIR and the Rust type/trait system

Language:RustLicense:Apache-2.0Stargazers:280Issues:28Issues:65

disassemble

Disassembler for Racket

Language:SchemeLicense:MITStargazers:80Issues:6Issues:8

fmt

A code formatter for Racket

Language:RacketLicense:NOASSERTIONStargazers:72Issues:8Issues:53

B2T2

The Brown Benchmark for Table Types (B2T2)

Language:TypeScriptStargazers:61Issues:15Issues:13

brag

Racket DSL for generating parsers from BNF grammars [moved to https://git.matthewbutterick.com/mbutterick/brag]

Language:RacketLicense:MITStargazers:61Issues:5Issues:25

qi

An embeddable flow-oriented language.

Language:RacketStargazers:58Issues:8Issues:88

nora

An experimental Racket implementation using LLVM/MLIR

Language:C++License:Apache-2.0Stargazers:58Issues:6Issues:23

rhombus-in-the-rough

A 2D RPG implemented in the Rhombus Racket dialect

Language:GLSLLicense:AGPL-3.0Stargazers:51Issues:3Issues:0

setConst

Const is super useful for writing better code, but don't you sometimes wish you could reassign it?

Language:JavaScriptStargazers:21Issues:2Issues:3

racket-http123

Language:RacketStargazers:12Issues:4Issues:4

racket-keyring

Racket Keyring Library

Language:RacketLicense:Apache-2.0Stargazers:8Issues:4Issues:12

racket_gl_example

Example of how to create an OpenGL context with racket/gui and let a dll draw to it.

Language:RacketStargazers:4Issues:2Issues:0

racket-monocle

A small lense library for Racket.

Language:RacketStargazers:3Issues:0Issues:0

miniray

A simple ray-tracer implemented in Rhombus

License:MITStargazers:3Issues:0Issues:0

garden

Language:JavaScriptStargazers:2Issues:1Issues:0

the-big-mergie

Language:PythonStargazers:1Issues:2Issues:0

safely

safely catch errors from promises or functions, asynchronously or synchronously

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