Alternatives and similar repositories for SG_DLB_2017

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

• AthenaModel / athena
  Athena Regional Stability Simulation
  ☆85Updated 9 years ago
• schwering / limbo
  A Reasoning System for a First-Order Logic of Limited Belief, written in C++
  ☆234Updated 4 years ago
• pfdamasceno / shakespeare
  Identify relevant scientific papers with simple machine learning techniques
  ☆27Updated 10 years ago
• rose-compiler / rose-develop
  The latest development version of rose. It may not pass all regression tests.
  ☆107Updated 6 years ago
• Gladdy / numerical-fpga-thesis
  Bachelor thesis Martijn Bakker -- Numerical mathematics on FPGAs using CλaSH
  ☆28Updated 10 years ago
• Hackathonners / vania
  A module which fairly distributes a list of arbitrary objects among a set of targets, considering weights.
  ☆77Updated 8 years ago
• msu-anthropology / indian-country-ss18
  This Is Indian Country - Spring 2018 Instance
  ☆12Updated 7 years ago
• propublica / nyc-dna-software
  The source code, acquired by ProPublica, for New York City's Forensic Statistical Tool.
  ☆318Updated 7 years ago
• Dannyzen / openresearch
  Open Research is a framework that contains documents that aid in the practice of product and customer research
  ☆117Updated 9 years ago
• HaoZeke / Q_ANN
  A proof of concept of Neural Networking for Quantum State recognition.
  ☆68Updated 8 years ago
• OlegMazurov / Koyaanisqatsi
  Chaotic Life
  ☆44Updated 7 years ago
• papers-we-love / zurich
  Papers We ❤️ Zurich
  ☆49Updated 6 years ago
• IS3UniCologne / DSML_2020
  Code repo for course "Introduction to Data Science and Machine Learning (DSML)"
  ☆8Updated 4 years ago
• khinsen / leibniz
  Moved to https://codeberg.org/khinsen/leibniz
  ☆282Updated 5 months ago
• harvard / cloudJHub
  An implementation of JupyterHub within the Amazon cloud, with automatic scaling up and down
  ☆129Updated last year
• jvns / neural-nets-are-weird
  ☆168Updated 6 years ago
• bcbrock / obc-peer
  Blockchain fabric code
  ☆41Updated 9 years ago
• autumnai / deep-learning-benchmarks
  Raw Benchmark Data for Popular Machine Learning Frameworks
  ☆56Updated 7 years ago
• lion137 / Fundamental_Algorithms
  Fundamental algorithms
  ☆93Updated 6 years ago
• thearn / math-genealogy
  A python script to collect data from the mathematics genealogy project and generate genealogy graphs, combine graphs, etc.
  ☆35Updated last year
• zells / core
  Core documents and specifications
  ☆42Updated 2 years ago
• louisabraham / algnuth
  Algebraic Number Theory package
  ☆271Updated 4 years ago
• evoasm / evoasm.rb
  An AIMGP (Automatic Induction of Machine code by Genetic Programming) engine
  ☆92Updated 6 years ago
• vignat / vignat
  [deprecated, see https://github.com/vigor-nf/vigor] VigNAT first repository. Includes VigNAT, libVig, Vigor Validator, and all the proofs…
  ☆75Updated 3 years ago
• BayesianLogic / blog
  The BLOG programming language
  ☆98Updated 2 years ago
• ParhamP / Natural_Logic_Interpreter
  Automatically interpret and validate nested natural logic arguments based on rules of inference and propositional logic
  ☆117Updated 7 years ago
• open-amdocs / zusammen
  ☆9Updated 4 years ago
• probcomp / BayesDB
  A Bayesian database table for querying the probable implications of data as easily as SQL databases query the data itself. New implementa…
  ☆890Updated 9 years ago
• cwensel / notebook
  Random notes on distributed computing and stuff.
  ☆10Updated 9 years ago
• nasa / Kodiak
  Library for rigorous verification of non-linear arithmetic
  ☆114Updated last year