仓库

ndmitchell 的仓库

Static Type Checker for Python

最近提交 2024年9月2日

 (1 star) (0 forks) (0 个已索引 issue) (0 个开放 good first issue)

Scratch-like Python programming

最近提交 2024年6月17日

 (0 stars) (0 forks) (0 个已索引 issue) (0 个开放 good first issue)

Tensors and Dynamic neural networks in Python with strong GPU acceleration

最近提交 2022年10月14日

 (0 stars) (0 forks) (0 个已索引 issue) (0 个开放 good first issue)

Experiments writing a prover

最近提交 2015年11月3日

 (3 stars) (0 forks) (0 个已索引 issue) (0 个开放 good first issue)

Forward build system with speculation and caching

最近提交 2023年10月15日

 (112 stars) (6 forks) (0 个已索引 issue) (0 个开放 good first issue)

最近提交 2018年9月7日

 (0 stars) (0 forks) (0 个已索引 issue) (0 个开放 good first issue)

A preprocessor for a Haskell record syntax using dot

最近提交 2024年1月15日

 (130 stars) (23 forks) (0 个已索引 issue) (0 个开放 good first issue)

A version of HasField that will be available in future GHC

最近提交 2024年1月21日

 (8 stars) (0 forks) (0 个已索引 issue) (0 个开放 good first issue)

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.

最近提交 2020年2月21日

 (0 stars) (1 fork) (0 个已索引 issue) (0 个开放 good first issue)

.exe forwarder, to allow replacing binaries on PATH

最近提交 2019年6月27日

 (8 stars) (0 forks) (0 个已索引 issue) (0 个开放 good first issue)

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

最近提交 2020年12月4日

 (0 stars) (1 fork) (0 个已索引 issue) (0 个开放 good first issue)

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

最近提交 2025年3月28日

 (0 stars) (0 forks) (0 个已索引 issue) (0 个开放 good first issue)

Haskell rules for Bazel.

最近提交 2019年5月17日

 (0 stars) (0 forks) (0 个已索引 issue) (0 个开放 good first issue)

最近提交 2022年12月2日

 (0 stars) (0 forks) (0 个已索引 issue) (0 个开放 good first issue)

Haskell library for safe (pattern match free) functions

最近提交 2024年2月4日

 (46 stars) (12 forks) (0 个已索引 issue) (0 个开放 good first issue)

Shake build system

最近提交 2020年7月19日

 (631 stars) (108 forks) (4 个已索引 issue) (4 个开放 good first issue)

Experimenting with Shake and Bazel combined

最近提交 2019年3月13日

 (4 stars) (0 forks) (0 个已索引 issue) (0 个开放 good first issue)

最近提交 2021年3月10日

 (3 stars) (0 forks) (0 个已索引 issue) (0 个开放 good first issue)

最近提交 2013年2月26日

 (0 stars) (0 forks) (0 个已索引 issue) (0 个开放 good first issue)

Cross-compilation framework based on the Shake Haskell library.

最近提交 2018年3月10日

 (0 stars) (0 forks) (0 个已索引 issue) (0 个开放 good first issue)