Leixb / latex-templateView external linksLinks
LaTeX template with minted support using nix flakes
☆24Mar 6, 2022Updated 3 years ago
Alternatives and similar repositories for latex-template
Users that are interested in latex-template are comparing it to the libraries listed below
Sorting:
- The PureScript implementation for the *Types and Programming Language* by B. Pierce☆19Jun 3, 2024Updated last year
- Opinionated nix flake templates☆29Feb 11, 2023Updated 3 years ago
- A script to achieve automatically following all flake inputs for Nix☆100Aug 1, 2025Updated 6 months ago
- Formalization of Arithmetization of Mathematics/Metamathematics☆13Mar 8, 2025Updated 11 months ago
- Template for tauri android development on NixOS☆11Oct 31, 2024Updated last year
- A little book on General Relativity and Einstein–Cartan Theory☆16Mar 13, 2014Updated 11 years ago
- implementation of nftables for NixOS☆12Nov 17, 2019Updated 6 years ago
- Contains exercises for the workshop in generic programming at Lambda World 2019☆10Oct 17, 2019Updated 6 years ago
- Basic Unicode support for Lean 4☆15Updated this week
- Meta repository for bug reports and discussions about iOS app☆14May 2, 2022Updated 3 years ago
- A platform-agnostic internationalization library for Gleam☆21Dec 7, 2025Updated 2 months ago
- This is a high performance stub server.☆14Sep 3, 2024Updated last year
- DateTime package for Lean 4☆16Feb 28, 2024Updated last year
- A shareable Renovate config for Cybozu☆11Updated this week
- A helper flake for building Node.js package easily with Nix.☆10Oct 9, 2021Updated 4 years ago
- A Gleam interface to Erlang's array module, for sparse, efficiently-implemented functional arrays. 🐝☆12Dec 10, 2024Updated last year
- SATySFi commands and DSL for displaying derivation trees with maintainable code☆11Jan 2, 2021Updated 5 years ago
- Self-similar visualization of many-body wavefunctions (and also: time series, DNA, proteins).☆13Aug 3, 2015Updated 10 years ago
- A Lean 4 representation of the Rubik's Cube, some proofs about the representation, and a simple solution algorithm.☆11Jul 16, 2025Updated 6 months ago
- GitHub as a SNS☆10Jan 11, 2023Updated 3 years ago
- Tableaux for Propositional Dynamic Logic in Lean 4 (WORK IN PROGRESS)☆14Jan 17, 2026Updated 3 weeks ago
- Verified interval arithmetic for Lean 4 — prove bounds on exp, sin, cos, find roots, all machine-checked☆32Updated this week
- Extra badges for App Store, Product Hunt and Hatena bookmarks☆11Sep 21, 2023Updated 2 years ago
- Tableau for basic modal logic in Lean 3 - This is OLD and not maintained. See https://github.com/m4lvin/lean4-pdl instead.☆13Oct 24, 2023Updated 2 years ago
- Eroge Music Quiz☆11Feb 6, 2026Updated last week
- visualize link relations on scrapbox's project☆10Sep 7, 2025Updated 5 months ago
- Automatically exported from code.google.com/p/japanese-usage-dictionary☆17Jan 25, 2025Updated last year
- Lean 4 bindings to libcurl☆13Feb 3, 2026Updated last week
- 「ぜんぜんわからない、俺達は雰囲気でギフハブをやっている」☆11May 22, 2020Updated 5 years ago
- ☆15Jan 3, 2026Updated last month
- supercollider experiments☆15Sep 23, 2025Updated 4 months ago
- Attach values statically to a type using static get/set methods.☆18Dec 29, 2023Updated 2 years ago
- A very basic glob library for PureScript.☆11Jan 26, 2025Updated last year
- The Code::Stats plugin allows you to track your coding progress and earn XP for writing markdown in the Obsidian editor.☆13May 1, 2025Updated 9 months ago
- Linearizability Hoare Logic☆17Updated this week
- RFC tools for creating Internet Drafts using mmark and xml2rfc via Docker☆11Updated this week
- Simple coding style formatter for stylus☆12Nov 10, 2018Updated 7 years ago
- A nixy way to install Native Instruments plugins using wine☆13Nov 6, 2023Updated 2 years ago
- Measure twenty audio features for any number of sound files. Then visualize the data over time.☆11Nov 20, 2025Updated 2 months ago