kverrier

kverrier's Stars

• benb111/awesome-small-molecule-ml

  A curated list of resources for machine learning for small-molecule drug discovery

  19629

• codecov/example-swift

  Codecov: Swift coverage example

  Language:Swift12880

• yassouali/ML-paper-notes

  :notebook: Notes and summaries of various ML, Computer Vision & NLP papers.

  55979

• ygit/swiftui

  A collaborative list of awesome SwiftUI resources. Feel free to contribute!

  1.2k102

• bmcmahen/react-meets-swiftui

  common react design patterns implemented in swiftui

  29318

• ccxt/ccxt

  A JavaScript / TypeScript / Python / C# / PHP cryptocurrency trading API with support for more than 100 bitcoin/altcoin exchanges

  Language:Python32.6k7.5k

• 51alg/TerpreT

  Language:Python427

• coq/coq

  Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

  Language:OCaml4.8k644

• webpack-contrib/webpack-command

  [DEPRECATED] Lightweight, modular, and opinionated webpack CLI that provides a superior experience

  Language:JavaScript21225

• swiftlang/swift

  The Swift Programming Language

  Language:C++67.4k10.3k

• reasonml-old/rebel

  Language:Rust12216

• janestreet/incr_dom

  A library for building dynamic webapps, using Js_of_ocaml.

  Language:OCaml38132

• jgaltidor/twelf_tutorial

  Twelf Tutorial and Twelf Encoding of Minilang

  6

• ocaml/ocaml

  The core OCaml system: compilers, runtime system, base libraries

  Language:OCaml5.4k1.1k

• kverrier/Convolution

  Language:C++21

• standardml/smackage

  Smackage Package Manager for Standard ML

  Language:Standard ML12112

• chrisbarrett/spacemacs-layers

  UNMAINTAINED

  Language:Emacs Lisp9315

• sarabander/sicp

  HTML5/EPUB3 version of SICP

  Language:HTML4.3k599

• jozefg/learn-tt

  A collection of resources for learning type theory and type theory adjacent fields.

  2.1k117

• degoes-consulting/lambdaconf-2015

  The official supporting materials repository for LambdaConf 2015.

  Language:JavaScript9050

• reflex-frp/reflex

  Interactive programs without callbacks or side-effects. Functional Reactive Programming (FRP) uses composable events and time-varying values to describe interactive systems as pure functions. Just like other pure functional code, functional reactive code is easier to get right on the first try, maintain, and reuse.

  Language:Haskell1.1k149

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

  Papers from the computer science community to read and discuss.

  Language:Shell87.2k5.7k

• mathiasbynens/dotfiles

  :wrench: .files, including ~/.macos — sensible hacker defaults for macOS

  Language:Shell30.2k8.7k

• ohmyzsh/ohmyzsh

  🙃 A delightful community-driven (with 2,400+ contributors) framework for managing your zsh configuration. Includes 300+ optional plugins (rails, git, macOS, hub, docker, homebrew, node, php, python, etc), 140+ themes to spice up your morning, and an auto-update tool that makes it easy to keep up with the latest updates from the community.

  Language:Shell173k25.9k

• luis-almeida/unveil

  A very lightweight jQuery plugin to lazy load images

  Language:JavaScript4.2k676

• necolas/idiomatic-css

  Principles of writing consistent, idiomatic CSS.

  6.7k617

• csswizardry/CSS-Guidelines

  High-level guidelines for writing manageable, maintainable CSS

  3.7k883

• hakimel/reveal.js

  The HTML Presentation Framework

  Language:JavaScript67.7k16.6k

• flightjs/flight

  A component-based, event-driven JavaScript framework from Twitter

  Language:JavaScript6.5k534

• kverrier/roller

  Collect, share and save your favorite multimedia moments from YouTube

  Language:Ruby21