Dépôts

Dépôts de ndmitchell

150 dépôts pris en charge

Afficher les dépôts avec des issues indexées
ndmitchell/pyrightPython

Static Type Checker for Python

Dernier commit 2 sept. 2024

 (1 star) (0 forks) (0 issues indexées) (0 good first issues ouvertes)
ndmitchell/pystagePython

Scratch-like Python programming

Dernier commit 17 juin 2024

 (0 stars) (0 forks) (0 issues indexées) (0 good first issues ouvertes)
ndmitchell/pytorchC++

Tensors and Dynamic neural networks in Python with strong GPU acceleration

Dernier commit 14 oct. 2022

 (0 stars) (0 forks) (0 issues indexées) (0 good first issues ouvertes)
ndmitchell/qedHaskell

Experiments writing a prover

Dernier commit 3 nov. 2015

 (3 stars) (0 forks) (0 issues indexées) (0 good first issues ouvertes)
ndmitchell/rattleHaskell

Forward build system with speculation and caching

Dernier commit 15 oct. 2023

 (114 stars) (6 forks) (0 issues indexées) (0 good first issues ouvertes)
ndmitchell/react-demoJavaScript

Dernier commit 7 sept. 2018

 (0 stars) (0 forks) (0 issues indexées) (0 good first issues ouvertes)
ndmitchell/record-dot-preprocessorHaskell

A preprocessor for a Haskell record syntax using dot

Dernier commit 15 janv. 2024

 (130 stars) (24 forks) (0 issues indexées) (0 good first issues ouvertes)
ndmitchell/record-hasfieldHaskell

A version of HasField that will be available in future GHC

Dernier commit 21 janv. 2024

 (8 stars) (1 fork) (0 issues indexées) (0 good first issues ouvertes)
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.

Dernier commit 21 févr. 2020

 (0 stars) (1 fork) (0 issues indexées) (0 good first issues ouvertes)
ndmitchell/rexeHaskell

.exe forwarder, to allow replacing binaries on PATH

Dernier commit 27 juin 2019

 (8 stars) (0 forks) (0 issues indexées) (0 good first issues ouvertes)
ndmitchell/rocksdbC++

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

Dernier commit 4 déc. 2020

 (0 stars) (1 fork) (0 issues indexées) (0 good first issues ouvertes)
ndmitchell/ruffRust

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

Dernier commit 28 mars 2025

 (0 stars) (0 forks) (0 issues indexées) (0 good first issues ouvertes)
ndmitchell/rules_haskellPython

Haskell rules for Bazel.

Dernier commit 17 mai 2019

 (0 stars) (0 forks) (0 issues indexées) (0 good first issues ouvertes)
ndmitchell/rust-circleciRust

Dernier commit 2 déc. 2022

 (0 stars) (0 forks) (0 issues indexées) (0 good first issues ouvertes)
ndmitchell/safeHaskell

Haskell library for safe (pattern match free) functions

Dernier commit 4 févr. 2024

 (47 stars) (12 forks) (0 issues indexées) (0 good first issues ouvertes)
ndmitchell/shakeHaskell

Shake build system

Dernier commit 19 janv. 2026

 (800 stars) (126 forks) (4 issues indexées) (4 good first issues ouvertes)
ndmitchell/shake-bazelHaskell

Experimenting with Shake and Bazel combined

Dernier commit 13 mars 2019

 (4 stars) (0 forks) (0 issues indexées) (0 good first issues ouvertes)
ndmitchell/shake-examples

Dernier commit 10 mars 2021

 (3 stars) (0 forks) (0 issues indexées) (0 good first issues ouvertes)
ndmitchell/shake-installHaskell

Dernier commit 26 févr. 2013

 (0 stars) (0 forks) (0 issues indexées) (0 good first issues ouvertes)
ndmitchell/shake-language-cHaskell

Cross-compilation framework based on the Shake Haskell library.

Dernier commit 10 mars 2018

 (0 stars) (0 forks) (0 issues indexées) (0 good first issues ouvertes)