Alternatives and similar repositories for IntroSQL

Users that are interested in IntroSQL are comparing it to the libraries listed below

• floydwch / the-most-influential-developers-on-github
  For Github Data Challenge 2014
  ☆50Updated 10 years ago
• dberm22 / Bipartite-Solver
  Presenting 4 different algorithms to solve bipartite graphs
  ☆11Updated 4 years ago
• joelgrus / science-questions
  end-to-end data product for generating random science quizzes
  ☆19Updated 9 years ago
• arianaaimani / The-Online-UI-UX-Major
  ☆41Updated 9 years ago
• kowey / GenI
  Surface realiser (part of a Natural Language Generation system) using Tree Adjoining Grammar
  ☆21Updated 10 years ago
• robertzk / xgboost.hs
  A Haskell wrapper for xgboost
  ☆23Updated 8 years ago
• nushio3 / physics-inhaskell
  Knowledge of classical mechanics, written in haskell.
  ☆14Updated 12 years ago
• tonymorris / parametricity
  A talk on parametricity
  ☆36Updated 2 years ago
• acowley / LinearLogic
  A simple development of linear logic in Coq.
  ☆13Updated 4 months ago
• seanjames777 / SML-Language-Definition
  Resources for Standard ML in Sublime Text 2, including syntax highlighting, a build system, and snippets.
  ☆49Updated 8 years ago
• j2kun / eigenfaces
  Mathematica notebook and resources for the post "Eigenfaces"
  ☆22Updated 5 years ago
• Blaisorblade / Agda-playground
  My Agda experiments
  ☆12Updated 5 years ago
• leanprover / lean.js
  Lean ported to Javascript with Emscripten
  ☆26Updated 8 years ago
• bgamari / optimization
  Some numerical optimization methods implemented in Haskell
  ☆47Updated 5 years ago
• DougBurke / astro-haskell
  IHaskell notebooks showing how Haskell can be used in Astronomy.
  ☆23Updated 10 years ago
• coulbois / sage-train-track
  Free group automorphisms and train-track representative in python/sage
  ☆10Updated last year
• OutliersCollective / Oculus_SNA
  ☆14Updated 10 years ago
• colah / Motivated-Topology
  A topology textbook with a hubristic title
  ☆31Updated 9 years ago
• adamterlson / catan-board
  Settlers of Catan board in D3/SVG
  ☆8Updated 10 years ago
• shkr / bayesian_regression
  Bayesian Regression Models using pymc3
  ☆11Updated 8 years ago
• dpiponi / formal-weyl
  The algebra for formal power series in elements of the Weyl algebra
  ☆18Updated 7 years ago
• heyzua / oregon-summer-school
  Downloads all of the lectures and most of the course materials for the various classes for the Oregon Programming Languages Summer School
  ☆9Updated 9 years ago
• puffnfresh / purescript-streams
  Compositional, streaming I/O library (unfinished)
  ☆13Updated 9 years ago
• Gabriella439 / Haskell-Succinct-Vector-Library
  Succinct vectors
  ☆20Updated 6 years ago
• ut-cs378-vision-2014fall / course-info
  Syllabus and other general course information
  ☆75Updated 10 years ago
• dritchie / probabilistic-js
  Turning Javascript into a probabilistic programming language
  ☆58Updated 8 years ago
• mstksg / lens-typelevel
  Type-level lenses using singletons because why not
  ☆15Updated 6 years ago
• amsa / fallacy-hunter
  Detect logical fallacies in text (POC)
  ☆14Updated 10 years ago
• bobatkey / sorting-types
  Typed DSLs for sorting
  ☆19Updated 7 years ago
• Poincare / QLearn
  A fast, easy-to-use q-learning library for Haskell
  ☆44Updated 9 years ago