Skip to content
View jroesch's full-sized avatar

Organizations

@apache @dmlc @uwsampl @octoml

Block or report jroesch

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. Markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
15 stars written in C++
Clear filter

Caffe: a fast open framework for deep learning.

C++ 34,720 18,597 Updated Jul 31, 2024

The open-source database for the realtime web.

C++ 26,958 1,851 Updated Oct 31, 2025

The Z3 Theorem Prover

C++ 11,520 1,576 Updated Nov 7, 2025

A retargetable MLIR-based machine learning compiler and runtime toolkit.

C++ 3,451 789 Updated Nov 10, 2025

Lean Theorem Prover

C++ 2,152 225 Updated Oct 14, 2023

[INACTIVE] Avian is a lightweight virtual machine and class library designed to provide a useful subset of Java's features, suitable for building self-contained applications.

C++ 1,229 172 Updated Feb 19, 2021

C++ template library for fans of functional programming

C++ 992 67 Updated Jan 7, 2019

Ruby in the browser.

C++ 467 8 Updated May 27, 2013

VMime Mail Library

C++ 290 113 Updated Nov 9, 2025

Node.js native add-ons in C

C++ 267 16 Updated Dec 9, 2019

Documentation for the iWork '13 File Format

C++ 266 41 Updated Jun 8, 2016

Brainfuck interpreter written in the C preprocessor

C++ 236 12 Updated Jan 21, 2016

TokuDB for MySQL 5.5

C++ 111 28 Updated May 5, 2015

Mathematics prototyping system

C++ 74 7 Updated Oct 1, 2023

A simple C++ Lisp Implementation.

C++ 1 Updated Dec 20, 2011