8000 CJStadler (Chris Stadler) / Starred · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
View CJStadler's full-sized avatar

Block or report CJStadler

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

A friendly programming language from the future

Haskell 6,032 277 Updated May 31, 2025

Automated Reasoning in Nonlinear Theories of Reals

SMT 163 36 Updated Jun 8, 2024

The Z3 Theorem Prover

C++ 11,058 1,536 Updated Jun 1, 2025

A machine learning tool for automated prediction engineering. It allows you to easily structure prediction problems and generate labels for supervised learning.

Python 505 48 Updated Mar 31, 2025

A quick and easy to use drag and drop retro game creator for your favourite handheld video game system

TypeScript 8,845 499 Updated May 30, 2025

An Elm package for working with dates without times or zones

Elm 74 12 Updated Mar 9, 2024

A Rake task gem that helps you find the unused routes and controller actions for your Rails 3+ app

Ruby 905 38 Updated Apr 29, 2025
0