jcreinhold

jcreinhold's Stars

• f/awesome-chatgpt-prompts

  This repo includes ChatGPT prompt curation to use ChatGPT better.

  Language:HTML111k1.4k015.1k

• shap/shap

  A game theoretic approach to explain the output of any machine learning model.

  Language:Jupyter Notebook22.6k2412.5k3.3k

• openai/triton

  Development repository for the Triton language and compiler

  Language:C++11.2k1791.2k1.3k

• DoctorWkt/acwj

  A Compiler Writing Journey

  Language:C10.5k214501k

• coq/coq

  Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

  Language:OCaml4.8k10310k643

• AbsInt/CompCert

  The CompCert formally-verified C compiler

  Language:Coq1.9k63279226

• haskell-beginners-2022/course-plan

  📜 Haskell course info, plan, video lectures, slides

  Language:Haskell1.3k23653

• FenTechSolutions/CausalDiscoveryToolbox

  Package for causal inference in graphs and in the pairwise settings. Tools for graph structure recovery and dependencies are included.

  Language:Python1.1k36143197

• janestreet/core

  Jane Street Capital's standard library overlay

  Language:OCaml1.1k45121110

• janestreet/incremental

  A library for incremental computations

  Language:OCaml87034660

• AgnostiqHQ/covalent

  Pythonic tool for orchestrating machine-learning/high performance/quantum-computing workflows in heterogeneous compute environments.

  Language:Python7612481391

• tweag/HaskellR

  The full power of R in Haskell.

  Language:Haskell5835212747

• erdogant/bnlearn

  Python library for learning the graphical structure of Bayesian networks, parameter learning, inference and sampling methods.

  Language:Jupyter Notebook46889346

• cdt15/lingam

  Python package for causal discovery based on LiNGAM.

  Language:Python371114856

• MetaCoq/metacoq

  Metaprogramming, verified meta-theory and implementation of Coq in Coq

  Language:Coq3701714979

• coq-community/vscoq

  A Visual Studio Code extension for Coq [maintainers=@rtetley,@huynhtrankhanh,@thery,@Blaisorblade]

  Language:OCaml3331441368

• formal-land/coq-of-ocaml

  Formal verification for OCaml

  Language:OCaml25487020

• backtracking/ocamlgraph

  OCaml graph library

  Language:OCaml232168559

• ocaml-multicore/ocaml5-tutorial

  A hands-on tutorial on the new parallelism features in OCaml 5

  Language:OCaml2008410

• janestreet/pythonlib

  A library to help writing wrappers around ocaml code for python

  Language:OCaml99111812

• juangamella/ges

  Python implementation of the GES algorithm for causal discovery, from the 2002 paper "Optimal Structure Identification With Greedy Search" by David Maxwell Chickering.

  Language:Python52229

• thierry-martinez/ocaml-in-python

  Effortless Python bindings for OCaml modules

  Language:OCaml50272

• DAMO-DI-ML/AAAI2022-HCM

  Source code of AAAI'22 paper: A Hybrid Causal Structure Learning Algorithm for Mixed-type Data

  Language:Python37215

• janestreet/ppx_python

  [@@deriving] plugin to generate Python conversion functions

  Language:OCaml34565

• LaurentMazare/ocaml-arrow

  Language:OCaml344313

• Arnhav-Datar/EffPPL

  Initially an Algorithmic Diffrentiation Library. Now has been extended to a Probabilistic Programming Library

  Language:OCaml24100

• LaurentMazare/ocaml-minipy

  Naive interpreter for a Python like language

  Language:OCaml13424

• djs55/message-switch

  A simple store-and-forward message switch with an HTTP-based link layer.

  Language:OCaml10852

• CausalAILab/FrontdoorAdjustmentSets

  Implementation of the algorithms for finding and listing Pearl's Front-door adjustment sets.

  Language:Python2000

• paula-gradu/ges

  Python implementation of the GES algorithm for causal discovery, from the 2002 paper "Optimal Structure Identification With Greedy Search" by David Maxwell Chickering.

  Language:Jupyter Notebook2000