Skip to content
View mahills's full-sized avatar

Highlights

  • Pro

Organizations

@cwi-swat @usethesource

Block or report mahills

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
Showing results

The Teacher Toolbox is a resource hub for educators and administrators to get started with GitHub.

HTML 228 30 Updated Mar 4, 2026

Verified Software Toolchain

Rocq Prover 487 98 Updated Mar 16, 2026

This repo is for the codelabs (free, online, self-paced tutorials) showing developers how they can deploy the same app locally *and* to all three fully-managed serverless compute platforms from Goo…

Python 38 91 Updated Jan 11, 2023

HTTP load generator, ApacheBench (ab) replacement

Go 19,851 1,288 Updated Jan 10, 2026

The implementation of the Rascal meta-programming language (including interpreter, type checker, parser generator, compiler and JVM based run-time system)

Java 453 82 Updated Mar 20, 2026

A PHP parser written in PHP

PHP 4 1 Updated Jun 6, 2025

Implementations belonging to the 101companies project

JavaScript 1 Updated Mar 8, 2012

An implementation of 101Companies in Rascal

1 Updated Mar 8, 2012

101companies contributions

HTML 42 31 Updated Jul 14, 2023

A PHP parser written in PHP

PHP 17,428 1,121 Updated Feb 26, 2026