pjotrp / nix-no-rootLinks
Empowered Nix/Guix without root
☆37Updated 10 years ago
Alternatives and similar repositories for nix-no-root
Users that are interested in nix-no-root are comparing it to the libraries listed below
Sorting:
- embed haskell diagrams in emacs org-mode files☆10Updated 9 years ago
- Some operator abuse☆29Updated 8 years ago
- Attoparsec parser combinators for parsing org-mode structured text!☆91Updated last year
- Configuration files (.emacs)☆23Updated 2 weeks ago
- A tool for manipulating bibtex files as s-expressions☆33Updated 7 years ago
- Bioinformatics pipelines with Haskell and Shake☆56Updated 6 years ago
- A minimal emacs configuration for haskell programming☆31Updated 3 years ago
- A brief presentation on Denotational Design, based on Conal Elliott's work☆25Updated last month
- Web-based reference manager, written in Haskell.☆30Updated 9 years ago
- Voevodsky's 2006 paper on homotopy lambda calculus☆15Updated 10 years ago
- Run nix in a lightweight chroot container☆86Updated 7 years ago
- Libraries and tool for parsing Org Mode documents with customizable exporters. 🦄☆24Updated 2 months ago
- Model of baysig language in Haskell (minus estimate)☆15Updated 9 years ago
- A very simple coq layer for spacemacs☆37Updated 6 years ago
- A semantically unified SQL and NoSQL query and update system☆18Updated 6 years ago
- Emacs bindings for hlint's --refactor option☆27Updated 6 years ago
- Scientific workflow management☆51Updated 3 years ago
- A scheme/Racket based package for symbolic mathematics for physicist, which currently supports a realization of Euler-Lagrangian Equation…☆16Updated 11 years ago
- Lojban ologs (categorical databases) using jq☆24Updated 6 years ago
- General-Purpose Computer Algebra System as an EDSL in Haskell☆95Updated last year
- Parser for Emacs org-mode files☆35Updated 2 months ago
- hoodle : A pen notetaking program written in haskell☆146Updated 2 years ago
- Julia embedded in Haskell☆52Updated 10 months ago
- http://www.reddit.com/r/NixOS/comments/3544gi/nix_runixporn/☆32Updated 10 years ago
- Express parametrable, composable and portable data pipelines☆89Updated 3 years ago
- Free scientific packages for GNU Guix.☆49Updated last year
- (early experiments toward) a version-control system for structured data☆19Updated 2 years ago
- My Emacs config☆126Updated 2 weeks ago
- Convenient Haskell syntax for writing in LaTeX math expressions☆28Updated 2 months ago
- Babel for Pandoc☆23Updated 11 years ago