Ryan Goulden's repositories

opam-repository

Main public package repository for OPAM, the source package manager of OCaml.

Language:OCamlLicense:CC0-1.0Stargazers:1Issues:1Issues:0

asyncpg

A fast PostgreSQL Database Client Library for Python/asyncio.

Language:PythonLicense:Apache-2.0Stargazers:0Issues:0Issues:0

bap

BAP Core Library

Language:OCamlLicense:NOASSERTIONStargazers:0Issues:0Issues:0

base

Standard library for OCaml

Language:OCamlLicense:MITStargazers:0Issues:1Issues:0

bitwuzla

Bitwuzla is a Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, floating-point arithmetic, arrays and uninterpreted functions and their combinations. Its name is derived from an Austrian dialect expression that can be translated as “someone who tinkers with bits”.

Language:SMTLicense:NOASSERTIONStargazers:0Issues:0Issues:0

bsdnt

BSD Licensed Bignum Library

Language:CLicense:NOASSERTIONStargazers:0Issues:0Issues:0

cpython

The Python programming language

Language:PythonLicense:NOASSERTIONStargazers:0Issues:0Issues:0

dcmtk

Official DCMTK Github Mirror

License:NOASSERTIONStargazers:0Issues:0Issues:0

deadbeef

DeaDBeeF Player

Language:CLicense:NOASSERTIONStargazers:0Issues:0Issues:0

dynamorio

Dynamic Instrumentation Tool Platform

Language:CLicense:NOASSERTIONStargazers:0Issues:0Issues:0

fancurve

Intel MacBook SMC daemon for running the fan harder

Language:C++Stargazers:0Issues:0Issues:0

GDCM

Grassroots DICOM read-only mirror. Only for Pull Request. Please report bug at http://sf.net/p/gdcm

License:NOASSERTIONStargazers:0Issues:0Issues:0

glider_pro

Sources for the Macintosh game, Glider PRO, written by John Calhoun and published by Casady & Green Inc.

Language:RLicense:GPL-2.0Stargazers:0Issues:0Issues:0

language-c

C support in Atom

License:NOASSERTIONStargazers:0Issues:0Issues:0

leakless

Python 3 library for 'safer' UNIX stuff.

Language:CLicense:ISCStargazers:0Issues:0Issues:0

linux

Linux kernel source tree

Language:CLicense:NOASSERTIONStargazers:0Issues:1Issues:0

macports-ports

The MacPorts ports tree

Language:TclLicense:NOASSERTIONStargazers:0Issues:0Issues:0

minio-py

Minio Client SDK for Python

Language:PythonLicense:Apache-2.0Stargazers:0Issues:0Issues:0

ocaml-xed-bindings

Bindings to Intel XED from OCaml

Language:OCamlLicense:Apache-2.0Stargazers:0Issues:0Issues:0

ocaml.tmbundle

TextMate support for OCaml

Language:RubyStargazers:0Issues:0Issues:0

ocaml_of_llvm

LLVM to OCaml transpiler

Language:OCamlLicense:NOASSERTIONStargazers:0Issues:0Issues:0

odil

Odil is a C++11 library for the DICOM standard

License:NOASSERTIONStargazers:0Issues:0Issues:0

poke

ptrace poke command-line tool

License:GPL-3.0Stargazers:0Issues:0Issues:0

public

Misc scripts and such, public on github for convenience.

Language:ShellStargazers:0Issues:0Issues:0

python.tmbundle

TextMate support for Python

Language:PythonStargazers:0Issues:0Issues:0

remoteobjpy

Simple remote objects for Python

Language:PythonStargazers:0Issues:0Issues:0

runc

CLI tool for spawning and running containers according to the OCI specification

Language:GoLicense:Apache-2.0Stargazers:0Issues:0Issues:0

rust

Empowering everyone to build reliable and efficient software.

Language:RustLicense:NOASSERTIONStargazers:0Issues:1Issues:0

z3

The Z3 Theorem Prover

Language:C++License:NOASSERTIONStargazers:0Issues:0Issues:0

Zarith

The Zarith library implements arithmetic and logical operations over arbitrary-precision integers and rational numbers. The implementation, based on GMP, is very efficient.

Language:OCamlLicense:NOASSERTIONStargazers:0Issues:1Issues:0