git-annex allows managing files with git, without checking the file contents into git. While that may seem paradoxical, it is useful when dealing with files larger than git can currently easily handle, whether due to limitations in memory, checksumming time, or disk space. Even without file content tracking, being able to manage files with git, move files around and delete files with versioned directory trees, and use branches and distributed clones, are all very handy reasons to use git. And a
If you need to convert files from one markup format into another, pandoc is your swiss-army knife. Pandoc is a Haskell library for converting from one markup format to another, and a command-line tool that uses this library.
hledger is... free GPL-licensed accounting software that runs on unix, mac, windows, and the web based on readable, version-controllable, future-proof plain text files good for tracking money, investments, time, or any countable commodity good for learning more about double entry accounting shipped with web, terminal, command line, JSON and Haskell interfaces the most user friendly plain text accounting app comparable to Ledger and Beancount built with the powerf
Darcs is a cross-platform version control system. It's similarly decentralized as git, mercurial or subversion but with a very different management approach. It focuses on changes rather than trees/snapshots. Which allows it to provide a freer way of working, and a much simpler CLI and a highly interactive user interface. It can work in an offline mode, provides local preparations, easy (non-)branching and merging, email patch sending, parallel development and builtin cherry-pickying from cha
CloudI is an open-source private cloud computing framework for efficient, secure, and internal data processing. CloudI provides scaling for previously unscalable source code with efficient fault-tolerant execution of ATS, C/C++, Erlang/Elixir, Go, Haskell, Java, JavaScript/node.js, OCaml, Perl, PHP, Python, Ruby, and Rust services. The bare essentials for efficient fault-tolerant processing on a cloud!
Idris is a functional programming language with dependent types, where values are constrained and pattern-matched by an expressive type system to avoid logic misbehaviours. It's a general purpose language, but also supports interactive theorem-proving, is sufficient performant trough eager and LLVM compilation. It has monads, type classes, comprehensions, lambda bindings, where and with clauses, expressions in case statements, an indendation-based and extendable syntax, lists, tuples and pairs,
|