mirrors_ndmitchell

欢迎加入我们～

仓库 141 Issues Pull Requests 动态成员 1

3

0

0

wormle

AI for solving Wordle

最近更新: 1天前

2

0

0

haskell-language-server

Successor of ghcide & haskell-ide-engine. One IDE to rule them all.

最近更新: 1天前

2

0

0

vscode-starlark

👨‍💻⭐IntelliSense for Starlark files

最近更新: 1天前

2

0

0

async-trait

Type erasure for async trait methods

最近更新: 1天前

2

0

0

starlark

Starlark Language

最近更新: 1天前

2

0

0

winhaskell

Windows Haskell GUI interpretter

最近更新: 1天前

2

0

0

VSHaskell

Visual Studio 2010 addin

最近更新: 1天前

2

0

0

travis-container

Test the new Travis container features

最近更新: 1天前

2

0

0

tex2hs

A program to check for type errors in a Latex document

最近更新: 1天前

2

0

0

tagsoup

Haskell library for parsing and extracting information from (possibly malformed) HTML/XML documents

最近更新: 1天前

2

0

0

stackage

"Stable Hackage": vetted consistent packages from Hackage

最近更新: 1天前

2

0

0

spaceleak

Notes on space leaks

最近更新: 1天前

2

0

0

shake-paper

Paper on the new GHC Shake-based build system

最近更新: 1天前

2

0

0

shake-bazel

Experimenting with Shake and Bazel combined

最近更新: 1天前

2

0

0

rexe

.exe forwarder, to allow replacing binaries on PATH

最近更新: 1天前

2

0

0

record-dot-preprocessor

A preprocessor for a Haskell record syntax using dot

最近更新: 1天前

2

0

0

qed

Experiments writing a prover

最近更新: 1天前

2

0

0

proto3-suite

Haskell Protobuf Implementation

最近更新: 1天前

2

0

0

proof

Haskell library for writing proofs

最近更新: 1天前

2

0

0

office

Macros for Microsoft Office

最近更新: 1天前