☆19Sep 22, 2016Updated 9 years ago
Alternatives and similar repositories for IronBrain
Users that are interested in IronBrain are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Multi-arch Docker images for Idris 2☆13Jul 14, 2026Updated last month
- All and up-to-date tree-sitter grammars built for nix.☆15Feb 8, 2025Updated last year
- Haskell library dealing with vkontakte social network☆12May 6, 2019Updated 7 years ago
- A language-generic implementation of equality saturation in Haskell☆22Dec 4, 2018Updated 7 years ago
- Write ups☆16Dec 13, 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.
- Imap client library for Crystal-Lang☆13Sep 7, 2017Updated 8 years ago
- JSON API serializing for crystal☆12May 26, 2016Updated 10 years ago
- A collection of best practices that we have learnt so far☆11Apr 19, 2014Updated 12 years ago
- ☆16Jul 10, 2025Updated last year
- Fawkes-Crypto - zkSNARKs framework☆21Feb 6, 2024Updated 2 years ago
- Administrative tools for the Tatoeba website☆16May 2, 2021Updated 5 years ago
- Sources of Collatinus software - Latin lemmatizer and morphological analyzer☆12Apr 25, 2016Updated 10 years ago
- Open addressing hash table on C++☆14Jan 19, 2015Updated 11 years ago
- Colorize terminal output☆13Nov 21, 2025Updated 8 months 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.
- Easily add MySQL database to your Kemal application.☆14Aug 7, 2016Updated 10 years ago
- Course materials for Chalmers TPIL25 class☆16Feb 13, 2025Updated last year
- Golang bindings for the Zaycev.net API☆11Jun 29, 2016Updated 10 years ago
- Chrome extension for automatic login to popular websites, antifishing☆14Oct 6, 2015Updated 10 years ago
- This is a script using webkit to batch download the google satlite maps. As long as providing proper geo information, it can download mul…☆21Oct 20, 2014Updated 11 years ago
- Grow / shrink selections in both directions or surround them☆22Mar 27, 2023Updated 3 years ago
- Regexp pretty printer and formatter for Ruby☆17May 14, 2023Updated 3 years ago
- ☆26Oct 17, 2022Updated 3 years ago
- A Node.js ID3 Tag reader☆15May 5, 2021Updated 5 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.
- ☆11Aug 7, 2019Updated 7 years ago
- ☆16Oct 26, 2022Updated 3 years ago
- Hands On Functional Kotlin, published by Packt☆13Jan 14, 2021Updated 5 years ago
- Python port of Igo Japanese morphological analyzer☆18Sep 22, 2018Updated 7 years ago
- Timing attack resistant type systems☆25May 13, 2015Updated 11 years ago
- Chef skeleton for provisioning rails servers with multiple apps per server☆16Sep 28, 2013Updated 12 years ago
- Some simple parallelism for Crystal. Run some heavy or blocked thread operations in background fork.☆19Apr 10, 2021Updated 5 years ago
- Greeb is a simple Unicode-aware regexp-based tokenizer.☆15Jun 9, 2019Updated 7 years ago
- The repository contains a reference end-to-end pipeline for a real-time video analytics application. Realtime data is provided to an infe…☆12Nov 3, 2025Updated 9 months ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Protozaur. Minimalistic CSS framework☆12Jun 11, 2017Updated 9 years ago
- Tasks for StepCTF 2015☆17Nov 2, 2015Updated 10 years ago
- An emulator for a single-instruction CPU, the instruction is NOR.☆16Apr 20, 2012Updated 14 years ago
- ☆18Sep 29, 2022Updated 3 years ago
- Пример реализации sso через SAML☆10Nov 20, 2017Updated 8 years ago
- ☆10Sep 4, 2016Updated 9 years ago
- Convert markdown files to pdf with flexible template and stylesheet☆23Oct 6, 2017Updated 8 years ago