map-reduce framework in bash and awk
β32Apr 14, 2022Updated 3 years ago
Alternatives and similar repositories for bash-reduce
Users that are interested in bash-reduce are comparing it to the libraries listed below
Sorting:
- van Laarhoven lenses for Idrisβ20Sep 25, 2017Updated 8 years ago
- π¨ A ppx that generates styles based on Bs-Css from a Figma documentβ12Nov 16, 2020Updated 5 years ago
- Generic encoders / decoders for the various kantan libraries.β12Apr 10, 2025Updated 10 months ago
- γγ γΎγγγ³γ³γγ€γ©β14Nov 5, 2016Updated 9 years ago
- Implementation of Dhall in Dhallβ12Feb 12, 2026Updated 2 weeks ago
- SBT plugin to show which projects are different between in git diffβ18Oct 8, 2020Updated 5 years ago
- Functional programming in PHPβ40Dec 15, 2020Updated 5 years ago
- TeLLer is a collection of tools that explore the use of linear logic applied to narrative generation and story telling.β18Jun 22, 2015Updated 10 years ago
- A small bifunctor library for idrisβ21Dec 28, 2020Updated 5 years ago
- A rust reimplementation of rss2email (the Rui Carmo branch)β20Aug 22, 2023Updated 2 years ago
- A proper network library for Idris, now that I know what I'm doing.β59Sep 27, 2016Updated 9 years ago
- Static blog generator in Idris.β40Feb 17, 2015Updated 11 years ago
- Applied operating system - an operating system kernel written in the ATS programming language.β47Mar 29, 2012Updated 13 years ago
- MPP: a meta preprocessor that blends programming languagesβ32Jun 8, 2023Updated 2 years ago
- Vim plugin for hsimportβ47Jan 17, 2019Updated 7 years ago
- β23Dec 6, 2017Updated 8 years ago
- Parsers for various configuration files written in Idris.β19Nov 8, 2017Updated 8 years ago
- Elysium - any place or state of perfect happiness; paradise.β21Dec 27, 2017Updated 8 years ago
- Work in progress: Simpler and more powerful alternative to Scala's built-in for-comprehension syntaxβ25Jun 23, 2016Updated 9 years ago
- sbt plugin to deploy code to AWS Serverless Architectureβ28Jul 8, 2021Updated 4 years ago
- Collection of ATS goodnessβ34Nov 19, 2019Updated 6 years ago
- some quantile algorithm implementaton for stream dataβ12Jul 24, 2018Updated 7 years ago
- Monadic effect worlds for interacting safely with mutable data.β38Aug 19, 2015Updated 10 years ago
- Invertible syntax and partial isomorphisms for Scalaβ31Nov 28, 2017Updated 8 years ago
- A fast parser combinator library, with extra querying goodnessβ34Oct 31, 2016Updated 9 years ago
- A classical propositional theorem prover in Haskell, using Wang's Algorithm.β36Jun 12, 2019Updated 6 years ago
- LaTeX style files for creating documents in the Open University unit styleβ11Feb 4, 2025Updated last year
- Road to Continous Upgradeβ15Aug 12, 2025Updated 6 months ago
- Reading, writing and manipulating ".tar" archive files.β42Oct 1, 2025Updated 5 months ago
- System POSIX bindings for Idris.