Research Debt
☆26May 22, 2018Updated 8 years ago
Alternatives and similar repositories for post--research-debt
Users that are interested in post--research-debt are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Attention and Augmented Recurrent Neural Networks☆176Dec 12, 2018Updated 7 years ago
- Optimization in python☆11Oct 5, 2018Updated 8 years ago
- Javascript/Leaflet frontend for OpenSolarMap☆13Aug 11, 2016Updated 10 years ago
- ☆12Nov 5, 2019Updated 7 years ago
- A balanced unbounded interval-tree in Rust with associated values in the nodes☆12Nov 22, 2022Updated 3 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- A python Scrabble bot. Plays Words with Friends on windows, plays itself in Scrabble, plays command line Scrabble, collects Scrabble stat…☆14Dec 4, 2021Updated 4 years ago
- High performance simple persistent queue library with command line utils☆12Nov 21, 2017Updated 8 years ago
- Swift API for the Arcade Learning Environment (ALE).☆24Aug 30, 2019Updated 7 years ago
- Valkka Python3 Examples☆19Mar 17, 2026Updated 7 months ago
- Code for replication of the paper "GANs beyond divergence minimization"☆22Jan 14, 2019Updated 7 years ago
- Typescript implementation of Relaxed Radix Balanced Trees☆19Sep 15, 2024Updated 2 years ago
- Immutable (a.k.a. persistent or pure-functional) deque, set, and map data structures in portable Scheme.☆15Sep 14, 2020Updated 6 years ago
- haha I'm graduating☆14Jul 22, 2021Updated 5 years ago
- ☆13Oct 29, 2026Updated last week
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Work related to the Airbus Ship Detection Challenge https://www.kaggle.com/c/airbus-ship-detection☆13Sep 8, 2018Updated 8 years ago
- OCaml library for partially ordered maps☆15Jun 23, 2026Updated 4 months ago
- A Swift wrapper for Intel Performance Libraries.☆36Jan 8, 2019Updated 7 years ago
- GPU-based interaction nets evaluator☆18Nov 30, 2011Updated 14 years ago
- Reviews to The Matrix series☆21Mar 27, 2026Updated 7 months ago
- Four Experiments in Handwriting with a Neural Network☆169May 22, 2018Updated 8 years ago
- Implements a custom input or form validator☆10Sep 14, 2018Updated 8 years ago
- Lenses in Coq☆17Oct 7, 2022Updated 4 years ago
- A multithreading terminal chat application written in C, implemented through websockets☆12Dec 7, 2023Updated 2 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- A small powershell script to easily backup your OneNote notebooks☆22Apr 25, 2017Updated 9 years ago
- Formalization of the Truly Stateless Concurrency Model Checker in Coq☆13Nov 16, 2021Updated 4 years ago
- Compcert repository of the Yale FLINT Group☆12Mar 10, 2026Updated 7 months ago
- Element for displaying syntax-highlighted, annotated code snippits explaining tagged sections of the code.☆12Nov 25, 2015Updated 10 years ago
- Coq development accompanying the paper "Efficient Extensional Binary Tries"☆23Apr 17, 2024Updated 2 years ago
- semantic-release plugin checking if the new semantic release is breaking dependent projects☆15Nov 6, 2019Updated 7 years ago
- Small C to WebAsssembly compiler developed for the Compilers course at UFES☆17Mar 15, 2022Updated 4 years ago
- Functions and proofs about game trees in Rocq, implemented as rose trees.☆20Sep 11, 2026Updated last month
- Estimate dense depth maps from RGB image and sparse depth maps☆14Oct 4, 2018Updated 8 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- D3 implementation of human-friendly HSL☆11Aug 6, 2018Updated 8 years ago
- Work in progress: EditorConfig in-browser live demo☆14Apr 26, 2025Updated last year
- Formal semantics in Agda.☆17Jul 2, 2015Updated 11 years ago
- Nix Expressions for Altera(Intel) Quartus☆17Oct 28, 2020Updated 6 years ago
- (Deprecated) Lightweight promise polyfill for the browser and node. A+ Compliant☆10Aug 1, 2018Updated 8 years ago
- Something needed for watir webdriver cn video tutorial☆15Sep 9, 2013Updated 13 years ago
- AstroApp, all backend React Native app boilerplate☆13Jun 22, 2017Updated 9 years ago