Popular repositories Loading

1. succinct-solvers succinct-solvers Public

   Succinct Solvers for variants of ALFP logic.

   Haskell 1

2. carbon-lang carbon-lang Public

   Forked from carbon-language/carbon-lang

   Carbon Language's main repository: documents, design, implementation, and related tools. (NOTE: Carbon Language is experimental; see README)

   C++

3. jax jax Public

   Forked from jax-ml/jax

   Composable transformations of Python+NumPy programs: differentiate, vectorize, JIT to GPU/TPU, and more

   Python