michalt

ghc

Mirror of ghc repository. DO NOT SUBMIT PULL REQUESTS HERE

unordered-containers

Efficient hashing-based container types

bazel_worker

Dart integration for Bazel build system

binary-serialise-cbor

Binary serialisation in the CBOR format

chalk

A PROLOG-ish interpreter written in Rust, intended eventually for use in the compiler

cvector

Vectors supporting efficient pushBack and popBack operations

cxx-utils

datafrog

A lightweight Datalog engine in Rust

engine

The Flutter engine

ghc-proposals

Proposed compiler and language changes for GHC and GHC/Haskell

haskell-vim

Custom Haskell Vimscripts

hoopl

Higher-order optimization library

newton

Newton solver for polynomial equations over omega-continuous semirings

nofib

Mirror of nofib repository. DO NOT SUBMIT PULL REQUESTS HERE

packages-binary

Mirror of packages-binary repository. DO NOT SUBMIT PULL REQUESTS HERE

polonius

Defines the Rust borrow checker.

ripgrep

ripgrep recursively searches directories for a regex pattern while respecting your gitignore

rust

Empowering everyone to build reliable and efficient software.

rust-analyzer

An experimental Rust compiler front-end for IDEs

salsa

A generic framework for on-demand, incrementalized computation. Inspired by adapton, glimmer, and rustc's query system.

stack

The Haskell Tool Stack

sync_http

watcher

A file system watcher library for Dart.

Adv360-Pro-ZMK

Production repository for the all-new Advantage360 Professional using ZMK engine

cpplinks

A categorized list of C++ resources.

grisette

A monadic library for symbolic evaluation

hadrian

Shaking up GHC: a new build system for the Glasgow Haskell Compiler

llvm-project

The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.

riscv-isa-sim

Spike, a RISC-V ISA Simulator

riscv-pk

RISC-V Proxy Kernel