☆10Jan 28, 2013Updated 13 years ago
Alternatives and similar repositories for adaptive
Users that are interested in adaptive are comparing it to the libraries listed below
Sorting:
- Invoke SMT solvers from Coq to check obligations☆10Jun 16, 2020Updated 5 years ago
- Making Slackbots is hard! But wait: now it's easy.☆14Jul 27, 2014Updated 11 years ago
- A Haskell HTTP server☆25Oct 3, 2017Updated 8 years ago
- Pure python functional programming☆28Feb 5, 2010Updated 16 years ago
- A simple template engine inspired by jinja2☆23Jun 27, 2015Updated 10 years ago
- State-space estimation algorithms and models☆28Jul 19, 2016Updated 9 years ago
- ZeroVM Run-Time environment☆65Apr 3, 2015Updated 10 years ago
- A heuristic procedure for proving inequalities☆34Sep 4, 2018Updated 7 years ago
- Emacs bindings for hlint's --refactor option☆27Jan 15, 2019Updated 7 years ago
- playing with recurrent neural networks☆28Sep 30, 2015Updated 10 years ago
- The Powerful Python CMS☆11Nov 20, 2021Updated 4 years ago
- This is a read-only mirror of the CRAN R package repository. DMwR — Functions and data for "Data Mining with R"☆10Mar 13, 2017Updated 8 years ago
- An implementation of the Haskell ByteString library using the Fiat system from MIT☆34Apr 4, 2022Updated 3 years ago
- A systems Lisp that compiles to C. Homoiconic macros, refcounted memory, Hindley-Milner type inference.☆34Updated this week
- COVID19 Healthcare Chatbot☆11Sep 1, 2021Updated 4 years ago
- ☆11Nov 29, 2018Updated 7 years ago
- Rust bindings for the Android MediaCodec NDK library☆13Nov 7, 2022Updated 3 years ago
- decentralized social network using #nostr☆12Aug 31, 2022Updated 3 years ago
- Mass Parallel Secure Shell command execution☆12Nov 9, 2025Updated 3 months ago
- Fast implementation of Gradient Boosting Machine (GBM) training algorithm.☆10Aug 26, 2019Updated 6 years ago
- Flowdock API documentation☆20Jun 6, 2019Updated 6 years ago
- pre-release.☆12Jul 15, 2015Updated 10 years ago
- Use Conal Elliott's concat library to compile regular Haskell functions into Z3 equations☆38Jul 12, 2017Updated 8 years ago
- Clojure library for Blueprints (part of the Tinkerpop graph stack).☆38Sep 6, 2022Updated 3 years ago
- c-lightning plugin API☆10Mar 15, 2019Updated 6 years ago
- ☆18Aug 15, 2015Updated 10 years ago
- A library for GNU make to schedule rules as jobs with qsub or sbatch☆11Mar 7, 2013Updated 12 years ago
- ☆11Jun 24, 2024Updated last year
- Go package to parse Bitcoin Core's mempool.dat file☆10Jun 16, 2019Updated 6 years ago
- A crappy native calendar with vi keybindings (todo: make it less crappy)☆10Jan 5, 2024Updated 2 years ago
- Dockerized BIND DNS Server with Webmin for DNS Administration☆10Dec 1, 2019Updated 6 years ago
- ☆10Jun 13, 2014Updated 11 years ago
- jod distribution source with commented versions in (jodijs) - tracks J Pacman versions☆10Apr 19, 2025Updated 10 months ago
- Android ORM framework.☆20Jul 1, 2015Updated 10 years ago
- Web frontend for GHC☆12Dec 10, 2019Updated 6 years ago
- Phylogenetic Application written in OCaml and C☆19Jan 29, 2020Updated 6 years ago
- A tool to help manage environments☆24Mar 10, 2023Updated 2 years ago
- Composable high-level instrumentation for C libraries' malloc and friends☆18Nov 15, 2025Updated 3 months ago
- ☆16Aug 1, 2024Updated last year