alivxxx

alivxxx's Stars

• huachaohuang/awesome-dbdev

  Awesome materials about database development.

  1.3k68

• Gabriella439/grace

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

  Language:JavaScript38231

• phil-opp/blog_os

  Writing an OS in Rust

  Language:HTML14.3k1k

• grin-compiler/grin

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

  Language:Haskell1k36

• krispo/awesome-haskell

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

  Language:Haskell3k169

• 3b1b/manim

  Animation engine for explanatory math videos

  Language:Python60.2k5.7k

• abi-aryan/awesome-cogsci

  An Awesome List of Cognitive Science Resources

  9010

• CompCogNeuro/sims

  simulations for the Computational Cognitive Neuroscience textbook

  Language:Go12953

• github/semantic

  Parsing, analyzing, and comparing source code across many languages

  Language:Haskell8.9k449

• 996icu/996.ICU

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

  269k21.2k

• pingcap/talent-plan

  open source training courses about distributed database and distributed systems

  Language:Rust10k1.3k

• papers-we-love/papers-we-love

  Papers from the computer science community to read and discuss.

  Language:Shell85.1k5.7k

• rxin/db-readings

  Readings in Databases

  7.5k887

• hmemcpy/milewski-ctfp-pdf

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

  Language:TeX10.8k571

• postgres/postgres

  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/Submitting_a_Patch

  Language:C15.2k4.4k

• cmu-db/peloton

  The Self-Driving Database Management System

  Language:C++2k624

• fpco/inline-c

  Language:Haskell28451

• ghc/ghc

  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 the newcomers info (https://gitlab.haskell.org/ghc/ghc/wikis/contributing).

  Language:Haskell3k702

• steshaw/plt

  Programming Language Theory λΠ

  Language:CSS5.2k335

• bmillwood/pointfree

  Maintenance of the pointfree Hackage package.

  Language:Haskell14121

• haskell/containers

  Assorted concrete container types

  Language:Haskell314177