ignaden

mastodon

Your self-hosted, globally interconnected microblogging community

cheat.sh

the only cheat sheet you need

carla

Open-source simulator for autonomous driving research.

z3

The Z3 Theorem Prover

ocaml

The core OCaml system: compilers, runtime system, base libraries

pyqtgraph

Fast data visualization and GUI tools for scientific / engineering applications

checkedc

Checked C is an extension to C that lets programmers write C code that is guaranteed by the compiler to be type-safe. The goal is to let people easily make their existing C code type-safe and eliminate entire classes of errors. Checked C does not address use-after-free errors. This repo has a wiki for Checked C, sample code, the specification, and test code.

alibi-detect

Algorithms for outlier, adversarial and drift detection

merlin

Context sensitive completion for OCaml in Vim and Emacs

book

V2 of Real World OCaml

ocaml-graphql-server

GraphQL servers in OCaml

brisk

✨Cross-platform set of tools for building native UIs with Reason/OCaml

scenario_runner

Traffic scenario definition and execution engine

reasonml.github.io

Reason's documentation site

verified-react

Automated reasoning for React/ReasonML

ocaml-decoders

Elm-inspired decoders for Ocaml

minisat-ml

Faithful reimplementation of Minisat 2.2 in OCaml.

reasonml-tic-tac-toe

imandra-ros

Imandra ROS

backgammon

Command-line backgammon with a bot trained using reinforcement learning

imandra-prelude

Extracted version of imandra's prelude

effective-esy-packaging

Effective Esy Packaging Guide

batsmt

[wip] Modular SMT solver in rust

imandra-stdlib

Standard library for [Imandra](https://imandra.ai)

bs-imandra-client

Imandra client in Bucklescript (via child process)

imandra-examples

Imandra/IML examples

NarcoABM

iml-vscode

location of the vsix file for the iml-vscode (imandra IDE) plugin

imandra-vscode

VSCode extension for developing imandra

seating-planner