mbrcknl

mbrcknl's Stars

• facebook/folly

  An open-source C++ library developed and used at Facebook.

  Language:C++29.1k1k1.2k5.7k

• nvie/gitflow

  Git extensions to provide high-level repository operations for Vincent Driessen's branching model.

  Language:Shell26.8k5703642.7k

• analysis-tools-dev/static-analysis

  ⚙️ A curated list of static analysis (SAST) tools and linters for all programming languages, config files, build tools, and more. The focus is on tools which improve code quality.

  Language:Rust13.7k3195771.4k

• jigish/slate

  A window management application (replacement for Divvy/SizeUp/ShiftIt)

  Language:Objective-C7.8k158470510

• numenta/nupic-legacy

  Numenta Platform for Intelligent Computing is an implementation of Hierarchical Temporal Memory (HTM), a theory of intelligence based strictly on the neuroscience of the neocortex.

  Language:Python6.3k6241.8k1.6k

• seL4/seL4

  The seL4 microkernel

  Language:C4.8k203440687

• TimelyDataflow/timely-dataflow

  A modular implementation of timely dataflow in Rust

  Language:Rust3.4k81177278

• facebookarchive/pfff

  Tools for code analysis, visualizations, or style-preserving source transformation.

  Language:OCaml2.4k120122204

• HoTT/book

  A textbook on informal homotopy type theory

  Language:TeX2.1k121634363

• valderman/haste-compiler

  A GHC-based Haskell to JavaScript compiler

  Language:Haskell1.4k55362111

• HoTT/Coq-HoTT

  A Coq library for Homotopy Type Theory

  Language:Coq1.3k59601197

• CakeML/cakeml

  CakeML: A Verified Implementation of ML

  Language:Standard ML1k4551585

• matijapretnar/eff

  A functional programming language based on algebraic effect handlers

  Language:OCaml867353941

• AndrasKovacs/elaboration-zoo

  Minimal implementations for dependent type checking and elaboration

  Language:Haskell644403238

• seL4/l4v

  seL4 specification and proofs

  Language:Isabelle53038103109

• HoTT/HoTT-Agda

  Development of homotopy type theory in Agda

  Language:Agda422562558

• mikeizbicki/subhask

  Type safe interface for working in subcategories of Hask

  Language:Haskell420442742

• w7cook/AoPL

  A book on programming languages, using Haskell

  Language:Haskell16519636

• gasche/icfp2016-papers

  Link to preprints for ICFP'16 and co-located events

  13924023

• larrytheliquid/Lemmachine

  REST'ful web framework in Agda

  Language:Haskell132606

• vektor-inc/lightning

  Lightning is powerful them for WordPress.

  Language:PHP1121740928

• jonleivent/mindless-coding

  Mindless, verified (erasably) coding using dependent types

  Language:Coq104804

• jwiegley/coq-pipes

  Language:Coq971314

• YellPika/effin

  A Typeable-free implementation of extensible effects

  Language:Haskell26421

• agda-attic/agda-system-io

  Bindings to Haskell's IO monad which respect Agda's semantics

  Language:Agda2425183

• seL4/verification-manifest

  Manifests for the collection of verification repositories

  1524416

• benkolera/talk-yesod

  BFPG Talk on Yesod

  Language:Haskell5301

• brecknell/functional-cpp

  Immutable data, algebraic types and functional programming in C++

  1102