Nix configuration for reproducible builds of LaTeX documents
☆25Apr 14, 2021Updated 4 years ago
Alternatives and similar repositories for nix-latex-template
Users that are interested in nix-latex-template are comparing it to the libraries listed below
Sorting:
- MG top-down beam parsing☆13Jul 2, 2018Updated 7 years ago
- NixOS module for ThinkPads and docking stations☆12Apr 1, 2021Updated 4 years ago
- A Scheme to Unlambda compiler☆18Jun 18, 2017Updated 8 years ago
- FIX protocol for OCaml☆15Feb 15, 2020Updated 6 years ago
- Code written for the Berlin FP meetup.☆25May 10, 2020Updated 5 years ago
- Generate texlive nix expressions for documents☆98Feb 16, 2026Updated 3 weeks ago
- Oleg Kiselyov's zipper-based file-server/OS☆27Apr 9, 2020Updated 5 years ago
- NPM client for emacs☆30Dec 22, 2024Updated last year
- Live SSBM stats from video streams☆22Apr 27, 2017Updated 8 years ago
- Replace Unicode symbols by equivalent Latex commands☆29Sep 13, 2025Updated 5 months ago
- A unified Nix configuration loading interface and theory that emulates the modularity, configurability, reusability, and overrideability …☆38Jan 17, 2026Updated last month
- Computes innocently excludable and includable sets of alternatives☆13Oct 14, 2021Updated 4 years ago
- (superseded by: https://github.com/qteatime/crochet) A safe, extensible, layered programming language that runs on top of JavaScript☆32Mar 28, 2023Updated 2 years ago
- hublo: the world needed another site generator☆23Dec 17, 2016Updated 9 years ago
- Django generic marketplace API☆11Jun 10, 2020Updated 5 years ago
- Blank experiment using jsPsych and google app engine☆12Jul 25, 2018Updated 7 years ago
- "An Introduction to Time Series Analysis with R" is a text which is currently under development and aims at giving readers a general ove…☆10Oct 1, 2021Updated 4 years ago
- MD5 core in verilog☆13May 1, 2012Updated 13 years ago
- An opinionated biblatex implementation of the Unified Stylesheet for Linguistics Journals☆44Feb 13, 2026Updated 3 weeks ago
- A declarative configuration framework based on the structural theory of std.☆41Sep 19, 2024Updated last year
- GUI for CVS☆11Feb 19, 2026Updated 2 weeks ago
- 2D/3D geometry package for Elm☆11Jul 1, 2018Updated 7 years ago
- Camera application for Plasma Mobile☆13Updated this week
- ☆16Oct 14, 2020Updated 5 years ago
- Simple BlackJack game via Browser using SWI Prolog, Tau Prolog☆10Feb 2, 2020Updated 6 years ago
- An API that wraps webgl and opengl☆11Oct 22, 2017Updated 8 years ago
- TIFMO: Textual Inference Forward-chaining MOdule☆12Apr 25, 2014Updated 11 years ago
- NeWS clone (very work in progress).☆11Oct 25, 2016Updated 9 years ago
- Shove scopes and tokens into .npmrc☆11Aug 2, 2021Updated 4 years ago
- Ghost theme in the style of Edward Tufte's books and handouts☆10Aug 30, 2015Updated 10 years ago
- Recreating the Unity Roguelike Tutorial project in Haskell☆40Feb 4, 2025Updated last year
- The Faust Online Documentation☆12Jan 27, 2026Updated last month
- HaVSA (Have-Saa) is a Haskell implementation of the Version Space Algebra Machine Learning technique described by Tessa Lau.☆12Jul 8, 2017Updated 8 years ago
- Rust library for multi-file readahead / dropbehind☆14May 31, 2017Updated 8 years ago
- Operations with matrices, SWI pack☆13Dec 11, 2023Updated 2 years ago
- Haskell helpers for deploying to Heroku☆18Jun 30, 2015Updated 10 years ago
- A WIP compiler for a functional language. Very incomplete!☆16Nov 6, 2021Updated 4 years ago
- Yet another parser for the ABC Notation☆11Dec 8, 2025Updated 3 months ago
- bddem is a SWI-Prolog pack for using Binary Decision Diagrams☆12Aug 30, 2025Updated 6 months ago