Paul Koerbitz (paulkoerbitz)

paulkoerbitz

Geek Repo

Company:Google

Location:Munich, Germany

Home Page:koerbitz.me

Github PK Tool:Github PK Tool

Paul Koerbitz's starred repositories

computer-science

:mortar_board: Path to a free self-taught education in Computer Science!

yew

Rust / Wasm framework for creating reliable and efficient web applications

Language:MDXLicense:Apache-2.0Stargazers:30350Issues:305Issues:1234

doomemacs

An Emacs framework for the stubborn martian hacker

Language:Emacs LispLicense:MITStargazers:19027Issues:237Issues:4402

activitywatch

The best free and open-source automated time tracker. Cross-platform, extensible, privacy-focused.

Language:PythonLicense:MPL-2.0Stargazers:11516Issues:112Issues:782

db_tutorial

Writing a sqlite clone from scratch in C

org-roam

Rudimentary Roam replica with Org-mode

Language:Emacs LispLicense:GPL-3.0Stargazers:5406Issues:98Issues:1301

ideas

a hundred ideas for computing - a record of ideas - https://samsquire.github.io/ideas/

linfa

A Rust machine learning framework.

Language:RustLicense:Apache-2.0Stargazers:3608Issues:67Issues:153

Idris-dev

A Dependently Typed Functional Programming Language

Language:HaskellLicense:NOASSERTIONStargazers:3418Issues:120Issues:2336

linuxupskillchallenge

Learn the skills required to sysadmin a remote Linux server from the commandline.

Language:ShellLicense:NOASSERTIONStargazers:3393Issues:139Issues:71

gluon

A static, type inferred and embeddable language written in Rust.

Language:RustLicense:MITStargazers:3172Issues:60Issues:400

straight.el

🍀 Next-generation, purely functional package manager for the Emacs hacker.

Language:Emacs LispLicense:MITStargazers:2690Issues:45Issues:835

inkwell

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

Language:RustLicense:Apache-2.0Stargazers:2251Issues:19Issues:295

autocxx

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

Language:RustLicense:Apache-2.0Stargazers:2106Issues:35Issues:496

jit-tutorial

How to write a very simple JIT compiler

Language:CStargazers:1732Issues:29Issues:0

web3

Making sense of web3 & crypto. Introduction to key concepts and ideas. Rigorous, constructive analysis of key claims pro and con. A look at the deeper hopes and aspirations.

Language:HTMLLicense:CC0-1.0Stargazers:1730Issues:33Issues:95

piccolo

An experimental stackless Lua VM implemented in pure Rust

Language:RustLicense:CC0-1.0Stargazers:1575Issues:47Issues:31

org-journal

A simple org-mode based journaling mode

Language:Emacs LispLicense:BSD-3-ClauseStargazers:1234Issues:30Issues:324

flapigen-rs

Tool for connecting programs or libraries written in Rust with other languages

Language:RustLicense:BSD-3-ClauseStargazers:767Issues:17Issues:176
Language:C++License:NOASSERTIONStargazers:583Issues:36Issues:5

sol

A sunny little virtual machine

ndarray-linalg

Linear algebra package for rust-ndarray using LAPACK binding

Language:RustLicense:NOASSERTIONStargazers:360Issues:12Issues:147

shifgrethor

garbage collection

rental

Rust macro to generate self-referential structs

Language:RustLicense:Apache-2.0Stargazers:211Issues:7Issues:41

lox

A rust implementation of the lox language

Language:RustLicense:BSD-3-ClauseStargazers:94Issues:2Issues:13

rlox-vm

A Rust implementation of the Lox programming language. Based on clox, the bytecode virtual machine.

Language:RustLicense:MITStargazers:28Issues:2Issues:0

rlox

An interpreter for the Lox programming language, written in Rust

Language:RustStargazers:13Issues:1Issues:0

loxjit

A simple JIT compiler targeting x64 for the lox programming language

Language:RustLicense:MITStargazers:12Issues:2Issues:0

lox

A re-implementation of the compiler from https://craftinginterpreters.com

linfa

A Rust machine learning framework.

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