Beast code in Giters

Daniel Selsam's starred repositories

ray

Ray is a unified framework for scaling AI and Python applications. Ray consists of a core distributed runtime and a set of AI Libraries for accelerating ML workloads.

Language:PythonApache-2.032212 476 18057

lean4

Lean 4 programming language and theorem prover

Language:LeanApache-2.04073 67 1655

rivet

The open-source visual AI programming environment and TypeScript library

Language:TypeScriptMIT2590 60 191

ARC

The Abstraction and Reasoning Corpus

Language:JavaScriptApache-2.02200 80 46

lean3

Lean Theorem Prover

Language:C++Apache-2.02145 117 1124

mathlib

Lean 3's obsolete mathematical components library: please use mathlib4

Language:LeanApache-2.01668 52 362

mathlib4

The math library of Lean 4

Language:LeanApache-2.01208 41 379

memorizing-transformers-pytorch

Implementation of Memorizing Transformers (ICLR 2022), attention net augmented with indexing and retrieval of memories using approximate nearest neighbors, in Pytorch

Language:PythonMIT621 11 13

Microsoft Program Synthesis using Examples SDK is a framework of technologies for the automatic generation of programs from input-output examples. This repo includes samples and sample data for the Microsoft Program Synthesis using Example SDK.

Language:C#NOASSERTION613 58 31

certigrad

Bug-free machine learning on stochastic computation graphs

Language:LeanApache-2.0386 34 1

neurosat

NeuroSAT: Learning a SAT Solver from Single-Bit Supervision

Language:PythonApache-2.0261 16 7

leancrawler

An obsolete python library which gathers statistics and relational information about Lean 3 libraries.

Language:PythonApache-2.017 6 1

dselsam