Beast code in Giters

Marc Brockschmidt's repositories

T2

T2 Temporal Prover

Language:CNOASSERTION93 13 6

buxlab

JAX implementation of BugLab

Language:PythonNOASSERTION4 20

grasshopper

An automated deductive program verifier.

Language:OCamlNOASSERTION3 20

LoAT

Lower bounds Analysis Tool for Integer Programs

Language:C++GPL-3.01 20

Implementation of the Paper "Learning Continuous and Data-Driven Molecular Descriptors by Translating Equivalent Chemical Representations" by Robin Winter, Floriane Montanari, Frank Noe and Djork-Arne Clevert.

Language:PythonMIT010

deepqmc

Deep learning quantum Monte Carlo for electrons in real space

Language:PythonMIT000

fsharp.github.io

F# GitHub Community Webpages

Language:F#020

google-research

Google Research

Language:Jupyter NotebookApache-2.0000

kittel-koat

KITTeL/KoAT

Language:OCamlApache-2.0020

ml4chem-utils

Utilities for ML for chemistry projects

Language:Dockerfile010

msbuild

The Microsoft Build Engine (MSBuild) is the build platform for .NET and Visual Studio.

Language:C#MIT020

neurips21-self-supervised-bug-detection-and-repair

Replication Code for "Self-Supervised Bug Detection and Repair" NeurIPS 2021

Language:PythonMIT000

SMTPushdown

Parser, validator and translator for SMTLIB-based Pushdown Automata format.

Language:OCamlMIT020

star-exec-presenter

presentation platform for star-exec written in Haskell and based upon Yesod

000

tensorflow

Computation using data flow graphs for scalable machine learning

Language:C++Apache-2.0010

transformers

🤗Transformers: State-of-the-art Natural Language Processing for Pytorch and TensorFlow 2.0.

Language:PythonApache-2.0010

z3

The Z3 Theorem Prover

Language:C++NOASSERTION020

mmjb