Skip to content
View mattjbray's full-sized avatar

Highlights

  • Pro

Organizations

@imandra-ai

Block or report mattjbray

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.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, 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

Direnv support for nvim

Lua 10 1 Updated Sep 24, 2024

A reference implementation of an event-sourced system that uses PostgreSQL as an event store built with Spring Boot. Fork the repository and use it as a template for your projects. Or clone the rep…

Java 1,077 98 Updated Jun 10, 2024

Modern C++ Programming Course (C++03/11/14/17/20/23/26)

HTML 11,865 798 Updated Aug 26, 2024

A mixture of tooling combined to produce JavaScript from OCaml & Reason

OCaml 822 50 Updated Oct 1, 2024

Pretty printing library

OCaml 54 5 Updated Sep 16, 2024

Automated reasoning for React/ReasonML

OCaml 112 4 Updated Jan 4, 2023

advent of code 2018 (rust)

Rust 2 Updated Dec 28, 2018

A collection of simple examples showcasing the BuckleScript ecosystem

391 20 Updated Dec 18, 2021

Imandra Protocol Language example models

11 1 Updated Aug 23, 2024

Modern and extensible testing framework for Haskell

Haskell 639 108 Updated Sep 26, 2024

An example Haskell web application

Haskell 147 11 Updated Mar 8, 2018
JavaScript 30 4 Updated May 31, 2018

parser for config files, shell variables, command line args.

Haskell 22 7 Updated Jun 30, 2016

Automatically derive Elm functions to query servant webservices

Haskell 164 48 Updated Jan 14, 2024

A type-safe, high-level SQL library for Haskell

Haskell 478 58 Updated Jun 5, 2024

⚡ A flexible dev server for Elm. Live reload included.

JavaScript 1,054 61 Updated Jun 18, 2022

A composable build system for OCaml.

OCaml 1,611 400 Updated Oct 1, 2024

A 'free monad' library for OCaml

OCaml 22 4 Updated Jun 24, 2014

type-level errors for Servant APIs.

Haskell 73 14 Updated Jun 27, 2023

A simple zipkin to datadog proxy for datadogs new traces feature.

Go 18 8 Updated Jul 28, 2021

Thesis

TeX 37 3 Updated Apr 4, 2018

Asteroids in Elm for the West London Hack Night

Elm 2 Updated Feb 22, 2017

WIP implementation of a Haskell-like Lisp in Racket

Racket 1,164 50 Updated Apr 14, 2024

24 Days of PureScript, 2016

286 10 Updated Mar 19, 2023

Elm architecture and (V)DOM for OCaml

OCaml 197 13 Updated Jul 16, 2024

Enhancements tracking repo for Kubernetes

Go 3,401 1,463 Updated Oct 1, 2024

Production-Grade Container Scheduling and Management

Go 110,182 39,427 Updated Oct 2, 2024

Example for a web app with a servant backend and an elm frontend

Haskell 145 16 Updated Sep 29, 2021

Archlinux image with official repositories snapshots

Shell 14 4 Updated Jul 1, 2017
Next