Awesome materials about database development.

A ready-to-fork interpreted functional language with type inference

Writing an OS in Rust

GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support.

A collection of awesome Haskell links, frameworks, libraries and software. Inspired by awesome projects line.

Animation engine for explanatory math videos

An Awesome List of Cognitive Science Resources

Simulations for the Computational Cognitive Neuroscience textbook

Parsing, analyzing, and comparing source code across many languages

Repo for counting stars and contributing. Press F to pay respect to glorious developers.

open source training courses about distributed database and distributed systems

Papers from the computer science community to read and discuss.

Readings in Databases

Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source

Mirror of the official PostgreSQL GIT repository. Note that this is just a *mirror* - we don't work with pull requests on github. To contribute, please see https://wiki.postgresql.org/wiki/Submitti…

The Self-Driving Database Management System

Mirror of the Glasgow Haskell Compiler. Please submit issues and patches to GHC's Gitlab instance (https://gitlab.haskell.org/ghc/ghc). First time contributors are encouraged to get started with th…

Programming Language Theory λΠ

Maintenance of the pointfree Hackage package.

Assorted concrete container types