Repositórios

Repositórios de ndmitchell

150 repositórios suportados

Static Type Checker for Python

Último commit 2 de set. de 2024

 (1 star) (0 forks) (0 issues indexadas) (0 good first issues abertas)

Scratch-like Python programming

Último commit 17 de jun. de 2024

 (0 stars) (0 forks) (0 issues indexadas) (0 good first issues abertas)

Tensors and Dynamic neural networks in Python with strong GPU acceleration

Último commit 14 de out. de 2022

 (0 stars) (0 forks) (0 issues indexadas) (0 good first issues abertas)

Experiments writing a prover

Último commit 3 de nov. de 2015

 (3 stars) (0 forks) (0 issues indexadas) (0 good first issues abertas)

Forward build system with speculation and caching

Último commit 15 de out. de 2023

 (114 stars) (6 forks) (0 issues indexadas) (0 good first issues abertas)

Último commit 7 de set. de 2018

 (0 stars) (0 forks) (0 issues indexadas) (0 good first issues abertas)

A preprocessor for a Haskell record syntax using dot

Último commit 15 de jan. de 2024

 (130 stars) (24 forks) (0 issues indexadas) (0 good first issues abertas)

A version of HasField that will be available in future GHC

Último commit 21 de jan. de 2024

 (8 stars) (1 fork) (0 issues indexadas) (0 good first issues abertas)

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.

Último commit 21 de fev. de 2020

 (0 stars) (1 fork) (0 issues indexadas) (0 good first issues abertas)

.exe forwarder, to allow replacing binaries on PATH

Último commit 27 de jun. de 2019

 (8 stars) (0 forks) (0 issues indexadas) (0 good first issues abertas)

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

Último commit 4 de dez. de 2020

 (0 stars) (1 fork) (0 issues indexadas) (0 good first issues abertas)

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

Último commit 28 de mar. de 2025

 (0 stars) (0 forks) (0 issues indexadas) (0 good first issues abertas)

Haskell rules for Bazel.

Último commit 17 de mai. de 2019

 (0 stars) (0 forks) (0 issues indexadas) (0 good first issues abertas)

Último commit 2 de dez. de 2022

 (0 stars) (0 forks) (0 issues indexadas) (0 good first issues abertas)

Haskell library for safe (pattern match free) functions

Último commit 4 de fev. de 2024

 (47 stars) (12 forks) (0 issues indexadas) (0 good first issues abertas)

Shake build system

Último commit 19 de jan. de 2026

 (800 stars) (126 forks) (4 issues indexadas) (4 good first issues abertas)

Experimenting with Shake and Bazel combined

Último commit 13 de mar. de 2019

 (4 stars) (0 forks) (0 issues indexadas) (0 good first issues abertas)

Último commit 10 de mar. de 2021

 (3 stars) (0 forks) (0 issues indexadas) (0 good first issues abertas)

Último commit 26 de fev. de 2013

 (0 stars) (0 forks) (0 issues indexadas) (0 good first issues abertas)

Cross-compilation framework based on the Shake Haskell library.

Último commit 10 de mar. de 2018

 (0 stars) (0 forks) (0 issues indexadas) (0 good first issues abertas)