Repository

Repository di ndmitchell

150 repository supportati

Static Type Checker for Python

Ultimo commit 2 set 2024

 (1 star) (0 fork) (0 issue indicizzate) (0 good first issue aperte)

Scratch-like Python programming

Ultimo commit 17 giu 2024

 (0 star) (0 fork) (0 issue indicizzate) (0 good first issue aperte)

Tensors and Dynamic neural networks in Python with strong GPU acceleration

Ultimo commit 14 ott 2022

 (0 star) (0 fork) (0 issue indicizzate) (0 good first issue aperte)

Experiments writing a prover

Ultimo commit 3 nov 2015

 (3 star) (0 fork) (0 issue indicizzate) (0 good first issue aperte)

Forward build system with speculation and caching

Ultimo commit 15 ott 2023

 (114 star) (6 fork) (0 issue indicizzate) (0 good first issue aperte)

Ultimo commit 7 set 2018

 (0 star) (0 fork) (0 issue indicizzate) (0 good first issue aperte)

A preprocessor for a Haskell record syntax using dot

Ultimo commit 15 gen 2024

 (130 star) (24 fork) (0 issue indicizzate) (0 good first issue aperte)

A version of HasField that will be available in future GHC

Ultimo commit 21 gen 2024

 (8 star) (1 fork) (0 issue indicizzate) (0 good first issue aperte)

Redis is an in-memory database that persists on disk. The data model is key-value, but many different kind of values are supported: Strings, Lists, Sets, Sorted Sets, Hashes, Streams, HyperLogLogs, Bitmaps.

Ultimo commit 21 feb 2020

 (0 star) (1 fork) (0 issue indicizzate) (0 good first issue aperte)

.exe forwarder, to allow replacing binaries on PATH

Ultimo commit 27 giu 2019

 (8 star) (0 fork) (0 issue indicizzate) (0 good first issue aperte)

A library that provides an embeddable, persistent key-value store for fast storage.

Ultimo commit 4 dic 2020

 (0 star) (1 fork) (0 issue indicizzate) (0 good first issue aperte)

An extremely fast Python linter and code formatter, written in Rust.

Ultimo commit 28 mar 2025

 (0 star) (0 fork) (0 issue indicizzate) (0 good first issue aperte)

Haskell rules for Bazel.

Ultimo commit 17 mag 2019

 (0 star) (0 fork) (0 issue indicizzate) (0 good first issue aperte)

Ultimo commit 2 dic 2022

 (0 star) (0 fork) (0 issue indicizzate) (0 good first issue aperte)

Haskell library for safe (pattern match free) functions

Ultimo commit 4 feb 2024

 (47 star) (12 fork) (0 issue indicizzate) (0 good first issue aperte)

Shake build system

Ultimo commit 19 gen 2026

 (800 star) (126 fork) (4 issue indicizzate) (4 good first issue aperte)

Experimenting with Shake and Bazel combined

Ultimo commit 13 mar 2019

 (4 star) (0 fork) (0 issue indicizzate) (0 good first issue aperte)

Ultimo commit 10 mar 2021

 (3 star) (0 fork) (0 issue indicizzate) (0 good first issue aperte)

Ultimo commit 26 feb 2013

 (0 star) (0 fork) (0 issue indicizzate) (0 good first issue aperte)

Cross-compilation framework based on the Shake Haskell library.

Ultimo commit 10 mar 2018

 (0 star) (0 fork) (0 issue indicizzate) (0 good first issue aperte)