content repository for metacademy.org
☆91May 14, 2017Updated 9 years ago
Alternatives and similar repositories for metacademy-content
Users that are interested in metacademy-content are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Metacademy.org's application code☆688May 1, 2023Updated 3 years ago
- Topic Model Analyzer☆61Sep 24, 2015Updated 10 years ago
- Linking topics and learning resources☆10Jun 30, 2016Updated 10 years ago
- Python Bindings to the Lean Theorem Prover http://leanprover.github.io/☆13Sep 12, 2017Updated 9 years ago
- Datasette showing global power plant data from https://github.com/wri/global-power-plant-database☆18May 29, 2025Updated last year
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- A simple IOS application that uses mobilenet to classify 1000 different images from an IOS device's video camera.☆11Aug 5, 2019Updated 7 years ago
- ☆17Sep 13, 2021Updated 5 years ago
- Writing a sqlite clone from scratch in Rust (and Python3 for testing). Thanks @cstack !☆26Mar 17, 2019Updated 7 years ago
- A Fast Standard (core.matrix) Clojure Library Using Nd4j☆24Dec 23, 2016Updated 9 years ago
- Improving your general programming knowledge☆14Oct 22, 2017Updated 8 years ago
- Open AI Gym version of Berkeley AI Pacman with images as states☆13May 4, 2018Updated 8 years ago
- Code for recovery of low-rank plus sparse matrices☆11May 6, 2024Updated 2 years ago
- Build-to-Order BLAS☆12Apr 9, 2019Updated 7 years ago
- Python code implementing the MWUA algorithm and a Linear Program solver☆33Jul 4, 2023Updated 3 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- A DP beam-search extension of Mitchell Stern's span-based neural constituency parser☆11Aug 24, 2022Updated 4 years ago
- The TacTok automated Coq proof script synthesis tool☆17Jan 9, 2024Updated 2 years ago
- ☆14Feb 1, 2024Updated 2 years ago
- A framework for building programmable applications☆30Jan 26, 2023Updated 3 years ago
- Beiwe is a smartphone-based digital phenotyping research platform. This repository contains some data analysis code.☆14Feb 10, 2020Updated 6 years ago
- course materials for the 2017 Summer Workshop on the Dynamic Brain☆12Jan 4, 2018Updated 8 years ago
- 製作漢字相關語音字典及輸入法，目的只爲保存各地區言語及文化。☆13Jun 4, 2020Updated 6 years ago
- "Learning What is Essential in Questions", CoNLL, 2017☆26Aug 3, 2018Updated 8 years ago
- The Browsable Atlas of Behavior-Anatomy Maps (BABAM) is a GUI for exploring hypotheses of correlations between neural activity in regions…☆13May 17, 2023Updated 3 years ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- ☆22Jan 3, 2023Updated 3 years ago
- A Matlab package for computing the optimal mode decomposition (OMD) or dynamic mode decomposition (DMD).☆15Dec 11, 2016Updated 9 years ago
- Mizar Mathematical Library☆17Mar 17, 2012Updated 14 years ago
- Active Imitation Learing with Noisy Guidance☆10May 29, 2020Updated 6 years ago
- Code to reproduce experiments appearing in the academic paper Lost Relatives of the Gumbel Trick☆17Jun 14, 2017Updated 9 years ago
- An Academic Papers Management and Discovery System☆282May 3, 2013Updated 13 years ago
- A collection of awesome ssb resources and projects☆36Apr 3, 2020Updated 6 years ago
- A book, Let's build a DBMS: StellarSQL -- a minimal SQL DBMS written in Rust☆26Nov 8, 2018Updated 7 years ago
- Problem Sets for MIT 6.822 Formal Reasoning About Programs, Spring 2020☆19May 4, 2020Updated 6 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- A curated list of things every senior engineer should know how to talk about in an interview.☆37May 5, 2019Updated 7 years ago
- ☆15Aug 13, 2026Updated last month
- A Redis clone written in Go☆43Aug 20, 2016Updated 10 years ago
- Parallel Semi-Supervised Latent Dirichlet Allocation☆33Jan 21, 2022Updated 4 years ago
- ☆20Nov 4, 2025Updated 10 months ago
- Dyna built on R-exprs (First Prototype)☆17Mar 7, 2022Updated 4 years ago
- A monolithic index that supports worst-case optimal joins (WCOJ) by providing all collation orders in a single redundancy eliminating dat…☆18Sep 2, 2026Updated 2 weeks ago