spillow

spillow's Stars

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

  Papers from the computer science community to read and discuss.

  Language:Shell90k3.1k2435.8k

• 3b1b/manim

  Animation engine for explanatory math videos

  Language:Python73.9k9101.2k6.5k

• swiftlang/swift

  The Swift Programming Language

  Language:C++67.9k2.5k15.9k10.4k

• upx/upx

  UPX - the Ultimate Packer for eXecutables

  Language:C++14.9k2837431.4k

• microsoft/language-server-protocol

  Defines a common protocol for language servers.

  Language:HTML11.4k2651.1k817

• penrose/penrose

  Create beautiful diagrams just by typing notation in plain text.

  Language:TypeScript7.6k119757349

• MattPD/cpplinks

  A categorized list of C++ resources.

  4.7k26311491

• quantumlib/Cirq

  A Python framework for creating, editing, and invoking Noisy Intermediate-Scale Quantum (NISQ) circuits.

  Language:Python4.4k1942.3k1.1k

• ericniebler/range-v3

  Range library for C++14/17/20, basis for C++20's std::ranges

  Language:C++4.2k154928445

• system-f/fp-course

  Functional Programming Course

  Language:Haskell4.2k1301971.2k

• microsoft/verona

  Research programming language for concurrent ownership

  Language:C++3.6k109166167

• HigherOrderCO/Kind1

  A modern proof language

  Language:JavaScript3.5k74215141

• haskell/haskell-language-server

  Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.

  Language:Haskell2.7k512.2k369

• ucsd-progsys/liquidhaskell

  Liquid Types For Haskell

  Language:Haskell1.2k291.2k139

• graninas/software-design-in-haskell

  Software Design in Haskell. A structured set of materials. How to build real-world applications in Haskell.

  Language:Haskell1.1k55769

• vekatze/neut

  A functional programming language with static memory management

  Language:Haskell840201311

• tssm/up-to-date-real-world-haskell

  I'm trying to update the Real World Haskell book

  Language:Python789702548

• ghc-proposals/ghc-proposals

  Proposed compiler and language changes for GHC and GHC/Haskell

  Language:Python68713389272

• google-deepmind/hanabi-learning-environment

  hanabi_learning_environment is a research platform for Hanabi experiments.

  Language:Python6473129154

• kowainik/stan

  🕵️ Haskell STatic ANalyser

  Language:Haskell5711625449

• facebookincubator/retrie

  Retrie is a powerful, easy-to-use codemodding tool for Haskell.

  Language:Haskell506254130

• mitmath/6S083

  Materials for MIT 6.S083 / 18.S190: Computational thinking with Julia + application to the COVID-19 pandemic

  Language:Jupyter Notebook503452166

• Holmusk/three-layer

  :three: :cake: Architecture of the Haskell web applications

  Language:Haskell310274226

• ekmett/guanxi

  Relational programming in Haskell. Mostly developed on twitch.

  Language:Haskell25823629

• saurabhkukade/Haskell_Study

  Collections of papers and books about Haskell, Type Theory and Category Theory

  1661029

• grin-compiler/ghc-grin

  GRIN backend for GHC

  Language:Haskell1442054

• grin-compiler/ghc-whole-program-compiler-project

  GHC Whole Program Compiler and External STG IR tooling

  Language:Haskell11611711

• dpsanders/LearnJulia2020

  Language:Jupyter Notebook10311141

• pepeiborra/hls-tutorial

  A tutorial on writing Haskell Language Server plugins

  70601

• mshockwave/nacro

  A better C/C++ macro extension. Implemented in Clang plugins. Inspired by Rust's macro system

  Language:C++65604