Matt Bray (mattjbray)

mattjbray

Geek Repo

Company:@imandra-ai

Location:London, UK

Github PK Tool:Github PK Tool


Organizations
imandra-ai

Matt Bray's repositories

ocaml-decoders

Elm-inspired decoders for Ocaml

Language:OCamlLicense:NOASSERTIONStargazers:83Issues:4Issues:13

elm-prismicio

Prismic SDK in Elm

Language:ElmStargazers:4Issues:0Issues:0
Language:OCamlStargazers:1Issues:0Issues:0
Language:ShellStargazers:1Issues:2Issues:0

accessibility

Rust bindings for macOS accessibility API.

Language:RustLicense:Apache-2.0Stargazers:0Issues:0Issues:0
Language:RustStargazers:0Issues:2Issues:0
Language:RustStargazers:0Issues:0Issues:0
Language:RustStargazers:0Issues:0Issues:0
Language:RustStargazers:0Issues:0Issues:0

batsat

A Rust SAT solver originally based on MiniSat

Language:RustLicense:NOASSERTIONStargazers:0Issues:3Issues:0

batsat-ocaml

OCaml bindings for batsat (https://github.com/c-cube/batsat)

Language:OCamlStargazers:0Issues:1Issues:0

bs-downshift

BuckleScript bindings for Downshift

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

core-foundation-rs

Rust bindings to Core Foundation and other low level libraries on Mac OS X and iOS

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

easy21

David Silver Reinforcement Learning assignment

Language:OCamlStargazers:0Issues:2Issues:0

feather

A shell library for OCaml

License:MITStargazers:0Issues:0Issues:0

helm-charts

Helm charts for Datadog products

Language:HTMLLicense:Apache-2.0Stargazers:0Issues:2Issues:0

imandra-prelude

Extracted version of imandra's prelude

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

lsp-mode

Emacs client/library for the Language Server Protocol

Language:Emacs LispLicense:GPL-3.0Stargazers:0Issues:2Issues:0

lwd

Lightweight document

License:MITStargazers:0Issues:0Issues:0

ocaml-containers

A lightweight, modular standard library extension, string library, and interfaces to various libraries (unix, threads, etc.) BSD license.

Language:OCamlLicense:BSD-2-ClauseStargazers:0Issues:2Issues:0

ocaml-trace

Common interface for tracing/instrumentation libraries in OCaml

Stargazers:0Issues:0Issues:0

opam-nix

Turn opam-based OCaml projects into Nix derivations

License:MITStargazers:0Issues:0Issues:0

opam-repository

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

Language:ShellLicense:CC0-1.0Stargazers:0Issues:2Issues:0

plfa.github.io

Introduction to programming language theory in Agda

Language:AgdaLicense:CC-BY-4.0Stargazers:0Issues:0Issues:0

ppx_expect

Cram like framework for OCaml

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

printbox

print nested boxes, lists, arrays, tables in several formats

Language:OCamlLicense:BSD-2-ClauseStargazers:0Issues:3Issues:0

rust-decimal

A Decimal Implementation written in pure Rust suitable for financial calculations.

Language:RustLicense:MITStargazers:0Issues:3Issues:0

rust-raytracing

https://raytracing.github.io/books/RayTracingInOneWeekend.html, with Rust

Language:RustStargazers:0Issues:2Issues:0

w3af

w3af: web application attack and audit framework, the open source web vulnerability scanner.

Language:PythonStargazers:0Issues:0Issues:0