Skip to content
View jstrieb's full-sized avatar

Organizations

@pwning @CMUChimpsLab @HuntingtonRobotics

Block or report jstrieb

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.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, 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
Showing results

Unofficial builds of the MLton Standard ML compiler for various architectures

4 1 Updated Jan 1, 2025

SCIP - Solving Constraint Integer Programs

C 417 72 Updated Jan 27, 2025

💥💻💥 A data-parallel functional programming language

Haskell 2,455 171 Updated Jan 27, 2025

OFRAK: unpack, modify, and repack binaries.

Python 1,901 131 Updated Jan 22, 2025

Standard ML of New Jersey

Standard ML 195 14 Updated Jan 21, 2025

Debian packages for alacritty.

Shell 107 10 Updated Jun 14, 2023

Library for Standard ML

Standard ML 55 4 Updated Feb 13, 2012
Go 3 Updated Aug 8, 2022

DOOM Open Source Release

C++ 14,915 2,500 Updated May 24, 2024

A Fountain export tool with some extras...

Go 61 8 Updated Mar 25, 2024

General-purpose programming language and toolchain for maintaining robust, optimal, and reusable software.

Zig 36,865 2,653 Updated Jan 27, 2025

Share your terminal over the web

C 8,387 913 Updated Nov 26, 2024

An open-source platform for building DIY sand tables (like the Sisyphus or ZenXY)

C++ 183 36 Updated Dec 28, 2024

A basic library of algorithms and data structures (a la NJlib)

Standard ML 74 14 Updated Sep 5, 2023

The MLton repository

Standard ML 985 128 Updated Jan 17, 2025

A pure type system implemented in OCaml

OCaml 77 1 Updated Jan 3, 2021

An Infinite Descent into Pure Mathematics

TeX 41 11 Updated Dec 1, 2020

JSPen creates permanent web pages that you can share anywhere.

JavaScript 13 3 Updated Sep 16, 2020

Tail Call Optimization for Python

Python 236 3 Updated Oct 12, 2016
Showing results