meiersi

meiersi's Stars

• terryum/awesome-deep-learning-papers

  The most cited deep learning papers

  Language:TeX25.6k2k264.5k

• facebook/yoga

  Yoga is an embeddable layout engine targeting web standards.

  Language:C++17.4k3946411.4k

• ipfs/kubo

  An IPFS implementation in Go

  Language:Go16.3k5324.7k3k

• tpope/vim-surround

  surround.vim: Delete/change/add parentheses/quotes/XML-tags/much more with ease

  Language:Vim Script13.5k130323444

• NixOS/nix

  Nix, the purely functional package manager

  Language:C++13.2k1176.3k1.6k

• facebook/buck

  A fast build system that encourages the creation of small, reusable modules over a variety of platforms and languages.

  Language:Java8.6k3101.5k1.2k

• unisonweb/unison

  A friendly programming language from the future

  Language:Haskell5.9k1072.8k272

• microsoft/bond

  Bond is a cross-platform framework for working with schematized data. It supports cross-language de/serialization and powerful generic mechanisms for efficiently manipulating data. Bond is broadly used at Microsoft in high scale services.

  Language:C++2.6k192458323

• typelead/eta

  The Eta Programming Language, a dialect of Haskell on the JVM

  Language:Haskell2.6k95789140

• facebookarchive/pfff

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

  Language:OCaml2.4k121122204

• leanprover/lean3

  Lean Theorem Prover

  Language:C++2.2k1161.1k217

• valderman/haste-compiler

  A GHC-based Haskell to JavaScript compiler

  Language:Haskell1.4k56362111

• torch/nn

  Language:Lua1.3k109476963

• ipfs/specs

  Technical specifications for the IPFS protocol stack

  Language:HTML1.2k109186232

• cjmamo/kafka-web-console

  A web console for Apache Kafka (retired)

  Language:CSS7629066246

• noiseprotocol/noise_spec

  Noise Specification

  Language:HTML450562336

• haskell-CI/haskell-ci

  Scripts and instructions for using CI services (e.g. Travis CI or Appveyor) with multiple GHC configurations

  Language:Haskell4391729771

• mikeizbicki/subhask

  Type safe interface for working in subcategories of Hask

  Language:Haskell419432742

• adept/full-fledged-hledger

  Tutorial on Hledger setup with multi-year files, multi-source imports and a range of auto-generated reports

  Language:Haskell406172432

• joelburget/react-haskell

  React bindings for Haskell

  Language:Haskell352161926

• acowley/Frames

  Data frames for tabular data.

  Language:Haskell2981812541

• beerendlauwers/haskell-papers-ereader

  Haskell papers optimized for my e-reader.

  26822019

• wsargent/docker-devenv

  Docker based development environment

  13011329

• Soostone/hadron

  Construct and run Hadoop MapReduce programs in Haskell

  Language:Haskell10915210

• agocorona/Workflow

  re-startable monad that recover the execution state from a log, and workflow patterns

  Language:Haskell43666

• jberryman/hashabler

  A haskell library for principled, cross-platform & extensible hashing of types, including an implementation of the FNV-1a algorithm. (DEVELOPMENT STALLED; Hashable NEEDS TO BE PREFIX CODE)

  Language:Haskell23494

• cgonyeo/gatekeeper

  Distributed CRDT based RFID door authentication system with LDAP based users

  Language:Haskell18402

• daz-li/svm_sgd_haskell

  Machine Learning algorithms (Support Vector Machine, Logistic Regression, etc.) based on Stochastic Gradient Descent approximation.

  Language:Haskell620

• angerman/oopth

  [DEAD] Out Of Process Template Haskell

  Language:Haskell545

• meiersi/tamarin-prover

  Main source code repository of the Tamarin prover for security protocol verification.

  Language:Haskell130