Repositories

ndmitchell repositories

150 supported repositories

Show repositories with indexed issues
ndmitchell/pyrightPython

Static Type Checker for Python

Last commit Sep 2, 2024

 (1 star) (0 forks) (0 indexed issues) (0 open good first issues)
ndmitchell/pystagePython

Scratch-like Python programming

Last commit Jun 17, 2024

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)
ndmitchell/pytorchC++

Tensors and Dynamic neural networks in Python with strong GPU acceleration

Last commit Oct 14, 2022

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)
ndmitchell/qedHaskell

Experiments writing a prover

Last commit Nov 3, 2015

 (3 stars) (0 forks) (0 indexed issues) (0 open good first issues)
ndmitchell/rattleHaskell

Forward build system with speculation and caching

Last commit Oct 15, 2023

 (112 stars) (6 forks) (0 indexed issues) (0 open good first issues)
ndmitchell/react-demoJavaScript

Last commit Sep 7, 2018

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)
ndmitchell/record-dot-preprocessorHaskell

A preprocessor for a Haskell record syntax using dot

Last commit Jan 15, 2024

 (130 stars) (23 forks) (0 indexed issues) (0 open good first issues)
ndmitchell/record-hasfieldHaskell

A version of HasField that will be available in future GHC

Last commit Jan 21, 2024

 (8 stars) (0 forks) (0 indexed issues) (0 open good first issues)
ndmitchell/redisC

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.

Last commit Feb 21, 2020

 (0 stars) (1 fork) (0 indexed issues) (0 open good first issues)
ndmitchell/rexeHaskell

.exe forwarder, to allow replacing binaries on PATH

Last commit Jun 27, 2019

 (8 stars) (0 forks) (0 indexed issues) (0 open good first issues)
ndmitchell/rocksdbC++

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

Last commit Dec 4, 2020

 (0 stars) (1 fork) (0 indexed issues) (0 open good first issues)
ndmitchell/ruffRust

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

Last commit Mar 28, 2025

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)
ndmitchell/rules_haskellPython

Haskell rules for Bazel.

Last commit May 17, 2019

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)
ndmitchell/rust-circleciRust

Last commit Dec 2, 2022

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)
ndmitchell/safeHaskell

Haskell library for safe (pattern match free) functions

Last commit Feb 4, 2024

 (46 stars) (12 forks) (0 indexed issues) (0 open good first issues)
ndmitchell/shakeHaskell

Shake build system

Last commit Jul 19, 2020

 (631 stars) (108 forks) (4 indexed issues) (4 open good first issues)
ndmitchell/shake-bazelHaskell

Experimenting with Shake and Bazel combined

Last commit Mar 13, 2019

 (4 stars) (0 forks) (0 indexed issues) (0 open good first issues)
ndmitchell/shake-examples

Last commit Mar 10, 2021

 (3 stars) (0 forks) (0 indexed issues) (0 open good first issues)
ndmitchell/shake-installHaskell

Last commit Feb 26, 2013

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)
ndmitchell/shake-language-cHaskell

Cross-compilation framework based on the Shake Haskell library.

Last commit Mar 10, 2018

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)