Repositories

ndmitchell Repositories

150 unterstützte Repositories

Static Type Checker for Python

Letzter Commit 02.09.2024

 (1 Star) (0 Forks) (0 indexierte Issues) (0 offene good first issues)

Scratch-like Python programming

Letzter Commit 17.06.2024

 (0 Stars) (0 Forks) (0 indexierte Issues) (0 offene good first issues)

Tensors and Dynamic neural networks in Python with strong GPU acceleration

Letzter Commit 14.10.2022

 (0 Stars) (0 Forks) (0 indexierte Issues) (0 offene good first issues)

Experiments writing a prover

Letzter Commit 03.11.2015

 (3 Stars) (0 Forks) (0 indexierte Issues) (0 offene good first issues)

Forward build system with speculation and caching

Letzter Commit 15.10.2023

 (114 Stars) (6 Forks) (0 indexierte Issues) (0 offene good first issues)

Letzter Commit 07.09.2018

 (0 Stars) (0 Forks) (0 indexierte Issues) (0 offene good first issues)

A preprocessor for a Haskell record syntax using dot

Letzter Commit 15.01.2024

 (130 Stars) (24 Forks) (0 indexierte Issues) (0 offene good first issues)

A version of HasField that will be available in future GHC

Letzter Commit 21.01.2024

 (8 Stars) (1 Fork) (0 indexierte Issues) (0 offene good first issues)

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.

Letzter Commit 21.02.2020

 (0 Stars) (1 Fork) (0 indexierte Issues) (0 offene good first issues)

.exe forwarder, to allow replacing binaries on PATH

Letzter Commit 27.06.2019

 (8 Stars) (0 Forks) (0 indexierte Issues) (0 offene good first issues)

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

Letzter Commit 04.12.2020

 (0 Stars) (1 Fork) (0 indexierte Issues) (0 offene good first issues)

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

Letzter Commit 28.03.2025

 (0 Stars) (0 Forks) (0 indexierte Issues) (0 offene good first issues)

Haskell rules for Bazel.

Letzter Commit 17.05.2019

 (0 Stars) (0 Forks) (0 indexierte Issues) (0 offene good first issues)

Letzter Commit 02.12.2022

 (0 Stars) (0 Forks) (0 indexierte Issues) (0 offene good first issues)

Haskell library for safe (pattern match free) functions

Letzter Commit 04.02.2024

 (47 Stars) (12 Forks) (0 indexierte Issues) (0 offene good first issues)

Shake build system

Letzter Commit 19.01.2026

 (800 Stars) (126 Forks) (4 indexierte Issues) (4 offene good first issues)

Experimenting with Shake and Bazel combined

Letzter Commit 13.03.2019

 (4 Stars) (0 Forks) (0 indexierte Issues) (0 offene good first issues)

Letzter Commit 10.03.2021

 (3 Stars) (0 Forks) (0 indexierte Issues) (0 offene good first issues)

Letzter Commit 26.02.2013

 (0 Stars) (0 Forks) (0 indexierte Issues) (0 offene good first issues)

Cross-compilation framework based on the Shake Haskell library.

Letzter Commit 10.03.2018

 (0 Stars) (0 Forks) (0 indexierte Issues) (0 offene good first issues)