mbrcknl's Stars
facebook/folly
An open-source C++ library developed and used at Facebook.
nvie/gitflow
Git extensions to provide high-level repository operations for Vincent Driessen's branching model.
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.
jigish/slate
A window management application (replacement for Divvy/SizeUp/ShiftIt)
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.
seL4/seL4
The seL4 microkernel
TimelyDataflow/timely-dataflow
A modular implementation of timely dataflow in Rust
facebookarchive/pfff
Tools for code analysis, visualizations, or style-preserving source transformation.
HoTT/book
A textbook on informal homotopy type theory
valderman/haste-compiler
A GHC-based Haskell to JavaScript compiler
HoTT/Coq-HoTT
A Coq library for Homotopy Type Theory
CakeML/cakeml
CakeML: A Verified Implementation of ML
matijapretnar/eff
A functional programming language based on algebraic effect handlers
AndrasKovacs/elaboration-zoo
Minimal implementations for dependent type checking and elaboration
seL4/l4v
seL4 specification and proofs
HoTT/HoTT-Agda
Development of homotopy type theory in Agda
mikeizbicki/subhask
Type safe interface for working in subcategories of Hask
w7cook/AoPL
A book on programming languages, using Haskell
gasche/icfp2016-papers
Link to preprints for ICFP'16 and co-located events
larrytheliquid/Lemmachine
REST'ful web framework in Agda
vektor-inc/lightning
Lightning is powerful them for WordPress.
jonleivent/mindless-coding
Mindless, verified (erasably) coding using dependent types
jwiegley/coq-pipes
YellPika/effin
A Typeable-free implementation of extensible effects
agda-attic/agda-system-io
Bindings to Haskell's IO monad which respect Agda's semantics
seL4/verification-manifest
Manifests for the collection of verification repositories
benkolera/talk-yesod
BFPG Talk on Yesod
brecknell/functional-cpp
Immutable data, algebraic types and functional programming in C++