Dynamic Programming Repository - From Basics to Absolute Magic.
☆19Oct 8, 2016Updated 9 years ago
Alternatives and similar repositories for dynpro
Users that are interested in dynpro are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- KLIC: Portable implementation of KL1. Forked from "https://www.ueda.info.waseda.ac.jp/software-j.html"☆15Oct 27, 2023Updated 2 years ago
- Programs that are used in the Cousineau/Mauny books☆31Jun 22, 2021Updated 4 years ago
- A 1-3D shape function library composing the Exact Sequence for Elements of All Shapes☆15Nov 6, 2023Updated 2 years ago
- LPTP: A Logic Program Theorem Prover, written by Robert F. Staerk in the mid 1990's☆17Aug 30, 2025Updated 8 months ago
- Tutorial for the CHR system☆16Feb 8, 2021Updated 5 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Tools for reasoning about circuits in Rosette/Racket 🔌☆19Feb 1, 2025Updated last year
- Dynamic execution environments for coupled, thread-heterogeneous MPI+X applications☆22Mar 3, 2025Updated last year
- Experimenting with AkkaNet, Disruptor and TPL Dataflow☆10Nov 24, 2014Updated 11 years ago
- coq-synthesis is a Coq plugin for proof generation and next tactic prediction☆13Jul 26, 2024Updated last year
- YoWASP toolchain for Visual Studio Code☆26Nov 28, 2025Updated 5 months ago
- dynamic programming solution web visualizer☆13Sep 14, 2015Updated 10 years ago
- Implementations of algorithms and notes from programming problems.☆17Jan 18, 2019Updated 7 years ago
- A small library on top of ASM that generates optimistically typed bytecodes for dynamically typed JVM based languages☆13May 4, 2015Updated 11 years ago
- Collection of examples with LSTM recurrent neural networks☆11Jul 7, 2017Updated 8 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.
- Randomized testing for Prolog à la QuickCheck☆23Jul 30, 2019Updated 6 years ago
- ☆33Oct 17, 2022Updated 3 years ago
- A clion plugin that shows formatted macro expansion in the code documentation panel☆13Jan 22, 2020Updated 6 years ago
- PMIx Standard Document☆26Nov 6, 2025Updated 6 months ago
- Mimir is a new implementation of MapReduce over MPI. Mimir inherits the core principles of existing MapReduce frameworks, such as MR-MPI,…☆21Nov 12, 2018Updated 7 years ago
- K42 Kernel☆32May 11, 2012Updated 14 years ago
- A set of files that can be used to create a working version of an early version of the CLU programming language☆36Aug 10, 2022Updated 3 years ago
- Fun plugin to play with the Gallina AST.☆39Oct 3, 2019Updated 6 years ago
- Celery on Docker Swarm as Bluemix-liked IoT platform / 使用 Celery 於 Docker Swarm 之上 建構類似 Bluemix 的 IoT 平台☆17Jul 28, 2016Updated 9 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Pure JAX-RS 2.0 ClientRequestFilter/WriterInterceptor used to sign AWS REST requests. Also has presign capabilities.☆15Jan 4, 2022Updated 4 years ago
- Numerical snippets & tests☆12Jan 5, 2026Updated 4 months ago
- BibTeX bibliographies for proof engineering-related papers☆30Jul 24, 2019Updated 6 years ago
- The library FDR3 uses for parsing, type checking and evaluating machine CSP.☆30May 15, 2023Updated 3 years ago
- A collection of old versions of the Haskell Report☆13Aug 17, 2017Updated 8 years ago
- Archive of Windows Universal Samples repo from //build 2015. "This repo contains the samples that demonstrate the API usage patterns for …☆13Apr 16, 2022Updated 4 years ago
- Personal blog☆12May 10, 2021Updated 5 years ago
- Repository for the IETF's http-state working group☆16Aug 8, 2021Updated 4 years ago
- Slides and supporting material for each meetup☆23Aug 25, 2016Updated 9 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Windows Sets sample from Build 2018☆11Apr 16, 2022Updated 4 years ago
- Linux-only Pytest plugin to control durations of various test case execution phases☆12Dec 30, 2019Updated 6 years ago
- A GuidGen tool similar to the one that ships with VS, but less than a decade old.☆10Aug 26, 2024Updated last year
- Apparently this maybe blogs or something?☆17Aug 2, 2024Updated last year
- note of fs ext4☆11May 2, 2018Updated 8 years ago
- An open source algorithmic contest platform☆31Jul 22, 2014Updated 11 years ago
- Regular Expression Puzzle☆16Jan 10, 2016Updated 10 years ago