ignaden

ignaden's Stars

• mastodon/mastodon

  Your self-hosted, globally interconnected microblogging community

  Language:Ruby47.3k70711.6k7k

• chubin/cheat.sh

  the only cheat sheet you need

  Language:Python38.5k5832491.8k

• carla-simulator/carla

  Open-source simulator for autonomous driving research.

  Language:C++11.6k2475.6k3.7k

• Z3Prover/z3

  The Z3 Theorem Prover

  Language:C++10.4k1815.5k1.5k

• ocaml/ocaml

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

  Language:OCaml5.5k2077.5k1.1k

• pyqtgraph/pyqtgraph

  Fast data visualization and GUI tools for scientific / engineering applications

  Language:Python3.9k1531.3k1.1k

• checkedc/checkedc

  Checked C is an extension to C that lets programmers write C code with bounds checking and improved type-safety. The goal is to let people easily make their existing C code type-safe and eliminate entire classes of errors.

  Language:C3.2k111175184

• SeldonIO/alibi-detect

  Algorithms for outlier, adversarial and drift detection

  Language:Jupyter Notebook2.3k41359225

• ocaml/merlin

  Context sensitive completion for OCaml in Vim and Emacs

  Language:OCaml1.6k381.1k233

• langchain-ai/streamlit-agent

  Reference implementations of several LangChain agents as Streamlit apps

  Language:Python1.3k1622649

• realworldocaml/book

  V2 of Real World OCaml

  Language:OCaml1.2k473.1k175

• ShengranHu/ADAS

  Automated Design of Agentic Systems

  Language:Python1.1k1918153

• andreas/ocaml-graphql-server

  GraphQL servers in OCaml

  Language:OCaml622189160

• briskml/brisk

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

  Language:OCaml55323689

• carla-simulator/scenario_runner

  Traffic scenario definition and execution engine

  Language:Python53526445365

• reasonml/reasonml.github.io

  Reason's documentation site

  Language:HTML33520189399

• imandra-ai/verified-react

  Automated reasoning for React/ReasonML

  Language:OCaml1121804

• mattjbray/ocaml-decoders

  Elm-inspired decoders for Ocaml

  Language:OCaml844149

• imandra-ai/minisat-ml

  Faithful reimplementation of Minisat 2.2 in OCaml.

  Language:OCaml38911

• marcusschiesser/streamlit-monaco

  Monaco editor (Visual Studio Code) for Streamlit

  Language:TypeScript35105

• imandra-ai/reasonml-tic-tac-toe

  Language:Reason191401

• imandra-ai/imandra-prelude

  Extracted version of imandra's prelude

  Language:OCaml121101

• jordwalke/effective-esy-packaging

  Effective Esy Packaging Guide

  1241

• imandra-ai/ipl-examples

  Imandra Protocol Language example models

  111411

• imandra-ai/batsmt

  [wip] Modular SMT solver in rust

  Language:SMT10701

• nickmags13/NarcoABM

  Language:MATLAB52

• imandra-ai/bs-imandra-client

  Imandra client in Bucklescript (via child process)

  Language:OCaml450

• imandra-ai/iml-vscode

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

  352

• imandra-ai/imandra-vscode

  VSCode extension for developing imandra

  Language:TypeScript2725

• imandra-ai/seating-planner

  Language:JavaScript1140