Skip to content
View timmartin's full-sized avatar

Block or report timmartin

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

Process heap analysis framework - Windows/Linux - record type inference and forensics

Python 95 33 Updated Jul 26, 2017

A gdb gui written in Python, running inside gdb itself.

Python 49 4 Updated Mar 28, 2024

Logic Programming in Python

Python 919 72 Updated Sep 25, 2019

GPL tile-based adventure game engine, prototype for hypothetical game with tile-based movement, context menu for adventure game verbs "use X with Y", and complete non-linear undo and redo tree.

Python 2 Updated Jun 6, 2019

(Parts of) Clojure implemented on top of Python

Python 113 13 Updated Mar 12, 2013

Source code from the O'Reilly "Linux Device Drivers" book, hacked into compatibility with current kernels

C 1 Updated Aug 13, 2011

An experiment with literate programming

1 Updated Apr 3, 2011

Project Euler in Clojure

Clojure 1 Updated Jan 6, 2011

Android Unit Testing Framework

Java 5,968 1,378 Updated Oct 9, 2025

PyMetrics produces metrics for Python programs

Python 25 7 Updated Aug 18, 2010

The Clojure programming language

Java 10,726 1,461 Updated Sep 25, 2025

Keeping tabs on the UK's parliaments and assemblies

PHP 240 55 Updated Oct 9, 2025

Fork of the libfooid audio fingerprinting library

C 23 12 Updated Feb 28, 2011

An experimental attempt to wrap ordinary ADO queries in a LINQ provider, allowing lazy evaluation

C# 2 1 Updated Nov 15, 2009

static analysis of C/C++ code

C++ 6,349 1,525 Updated Oct 8, 2025