Discover @soedirgo Open Source projects

Bobbie Soedirgo (@soedirgo)

soedirgo

Stars
113
Global Rank 190,295 (Top 7 %)
Followers 72
Following 29
Registered about 7 years ago
Most used languages

Java
13.3 %

Rust
13.3 %

Ruby
13.3 %

HTML
13.3 %

Coq 6.7 %

Jupyter Notebook
6.7 %

TypeScript
6.7 %

Go
6.7 %

Nunjucks 6.7 %

Python
6.7 %

C++
6.7 %
Location 🇸🇬 Singapore
Country Total Rank 1,259
Country Ranking

Nunjucks 4

Coq 8

HTML
55

Rust
163

Ruby
300

Go
470

C++
772

Java
838

TypeScript
940

Jupyter Notebook
1,061

Python
3,117

llvm-wasm

Compile and run LLVM IR in the browser

mouse

Everyone's Mouse Pointer

sat-solver

CDCL SAT solver for instances in DIMACS CNF format

CS4212

cli-test

foo

homebrew-test

lox

(WIP) Lox interpreter, implemented in Rust. Based on Bob Nystrom's https://craftinginterpreters.com.

eleventy-base-blog

SPA

CS3203: Software Engineering Project. Static Program Analyzer for pedagogical programming language SIMPLE.

blog

My blog, built with Jekyll.

homebrew-tap

jelek

Something something JLite

postgrest-py

PostgREST client-side library (WIP)

CancerDetection

Jupyter Notebook

kaleidoscope

supabase-cli-actions-test

fpp

NUS YSC3236: Functional Programming and Proving. Partial credits to @zhengqunkoo and @xsot.

varlabs