backerman

followers

following

stars

Microsoft (@Microsoft)

Seattle, WA, USA

https://bradackerman.com/

Organizations

SuperHappyBlockParty

Brad Ackerman's starred repositories

koka

Koka language compiler and interpreter

Language:HaskellNOASSERTION3247 60 316

mirage

MirageOS is a library operating system that constructs unikernels

Language:OCamlISC2522 84 489

FindMyFlipper

The FindMy Flipper app turns your FlipperZero into an AirTag or other tracking device, compatible with Apple AirTags and Samsung SmartTag and Tile Trackers. It uses the BLE beacon to broadcast, allowing users to clone existing tags, generate OpenHaystack key pairs for Apple's FindMy network, and customize beacon intervals and transmit power.

Language:Python1477 34 73

proper

PropEr: a QuickCheck-inspired property-based testing tool for Erlang

Language:ErlangGPL-3.0879 36 115

opium

Sinatra like web toolkit for OCaml

Language:OCamlMIT753 27 108

binrw

A Rust crate for helping parse and rebuild binary data using ✨macro magic✨.

Language:RustMIT571 8 147

batteries-included

Batteries Included project

Language:OCamlNOASSERTION517 16 515

asdf-erlang

Erlang plugin for asdf version manager

Language:ShellMIT477 13 193

ppx_deriving

Type-driven code generation for OCaml

Language:OCamlMIT461 19 140

alcotest

A lightweight and colourful test framework

Language:OCamlISC450 24 128

Imath

Imath is a C++ and python library of 2D and 3D vector, matrix, and math operations for computer graphics

Language:C++BSD-3-Clause374 28 116

coq-of-ocaml

Formal verification for OCaml

Language:OCamlMIT254 8 70

ocamlgraph

OCaml graph library

Language:OCamlNOASSERTION231 16 85

iSCSIConsole

User-Mode iSCSI Target Server

Language:C#LGPL-3.0189 17 13

serde

Serialization framework for OCaml

Language:OCamlMIT174 4 14

awesome-multicore-ocaml

A collection of libraries, experiments and ideas relating to OCaml 5 (multicore + effects)

vscode_erlang

Erlang support for Visual Studio Code

Language:ErlangMIT128 13 127

rebar3_format

Erlang Formatter for Rebar3

Language:ErlangMIT108 20 167

ocaml-cstruct

Map OCaml arrays onto C-like structs

Language:OCamlISC106 25 100

rwo-lwt

Lwt Translations of the Async Code Examples in Real World OCaml

Language:OCamlCC0-1.0104 60

ppx_import

Less redundancy in type declarations and signatures

Language:OCamlMIT89 8 42

ocaml-stdint

Various signed and unsigned integers for OCaml

Language:OCamlNOASSERTION85 5 38

FS.FluentUI

V9 of Microsoft's FluentUI library, built for F# in the style of Feliz.

Language:F#MIT70 2 4

odig

Lookup documentation of installed OCaml packages

Language:OCamlNOASSERTION67 6 70

bitstring

OCaml Bitstring - bitstring matching for OCaml

Language:OCamlGPL-2.067 2 22

ocaml-integers

Various signed and unsigned integer types for OCaml

Language:OCamlMIT63 6 17

ocaml-lens

Private extraction of astrada's lens library

Language:OCaml55 6 7

rebar3_proper

Run PropEr test suites with rebar3

Language:ErlangBSD-3-Clause38 9 15

building-gcc-macos-native

Scripts for building GCC on macOS

Language:ShellBSD-3-Clause14 7 11

rebar3_edoc_extensions

Plugin for custom style of Erlang documentation

Language:ErlangApache-2.08 3 2