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 202 25 Updated Oct 8, 2025

Verified Software Toolchain

Rocq Prover 475 96 Updated Nov 9, 2025

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 36 92 Updated Jan 11, 2023

HTTP load generator, ApacheBench (ab) replacement

Go 19,451 1,270 Updated Aug 20, 2024

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

Java 438 81 Updated Nov 6, 2025

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,360 1,119 Updated Oct 26, 2025