Beast code in Giters

James Lingard's starred repositories

pstack

Print stack traces from running processes, or core files. Works properly for x86_64 without frame pointers

Language:C++BSD-2-Clause11600

ocamlformat

Auto-formatter for OCaml code

Language:OCamlMIT60500

infer

A static analyzer for Java, C, C++, and Objective-C

Language:OCamlMIT1475400

sandsifter

The x86 processor fuzzer

Language:PythonBSD-3-Clause484400

sinkhole

Architectural privilege escalation on x86

Language:AssemblyBSD-3-Clause84800

movfuscator

The single instruction C compiler

Language:CNOASSERTION922800

voidwalker

A GDB toolbox for low-level debugging

Language:PythonGPL-3.013100

gdb-dashboard

Modular visual interface for GDB in Python

Language:PythonMIT1070200

xxHash

Extremely fast non-cryptographic hash algorithm

Language:CNOASSERTION858900

backward-cpp

A beautiful stack trace pretty printer for C++

Language:C++MIT362200

8cc

A Small C Compiler

Language:CMIT606000

libbacktrace

A C library that may be linked into a C/C++ program to produce symbolic backtraces

Language:CNOASSERTION90400

bloaty

Bloaty: a size profiler for binaries

Language:C++Apache-2.0457600

opengrok-cli

Command line interface for getting results from an OpenGrok server.

Language:PHPMIT900

CodeHub

CodeHub is an iOS application written using Xamarin

Language:C#2287200

airsonos

:musical_note: AirPlay to Sonos

Language:JavaScriptMIT210100

textmate

TextMate is a graphical text editor for macOS 10.12 or later

Language:Objective-C++GPL-3.01418700

saycbridge

A bidding practice bot as seen at saycbridge.com and the Android Play Store

Language:PythonBSD-3-Clause3100

gnubridge

Open source java contract bridge game

Language:JavaGPL-3.02600

Idris-dev

A Dependently Typed Functional Programming Language

Language:HaskellNOASSERTION340600

FStar

A Proof-oriented Programming Language

Language:F*Apache-2.0262600

liquidhaskell

Liquid Types For Haskell

Language:HaskellBSD-3-Clause115600

hackage-server

Hackage-Server: A Haskell Package Repository

Language:HaskellNOASSERTION40800

dominion

A Dominion simulator in Haskell

Language:HaskellNOASSERTION11100

HaLVM

The Haskell Lightweight Virtual Machine (HaLVM): GHC running on Xen

Language:HaskellBSD-3-Clause104600

seL4

The seL4 microkernel

Language:CNOASSERTION458500

ermine

The Ermine Programming Language - Join us on irc.freenode.net #ermine

Language:HaskellNOASSERTION21600

Haxl

A Haskell library that simplifies access to remote data, such as databases or web-based services.

Language:HaskellBSD-3-Clause422500

draft

C++ standards drafts

Language:TeX555500

hoodie

A toy roguelike game in Haskell

Language:HaskellGPL-3.03100