A LaTeX package for commenting multi-author documents
☆12Feb 12, 2015Updated 11 years ago
Alternatives and similar repositories for latex-commenting
Users that are interested in latex-commenting are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- View the GPN19 Fahrplan in your terminal☆12Dec 27, 2022Updated 3 years ago
- A Shape Analysis Tool based on Graph Grammars☆14Jul 5, 2026Updated 4 months ago
- jStar is a verification tool based on separation logic.☆10Apr 11, 2016Updated 10 years ago
- Cause Prioritization Wiki☆11Updated this week
- CLI tool to run xhyve VMs without driving yourself insane.☆14Mar 14, 2017Updated 9 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- OCaml cross-compiler based on mingw☆11Apr 15, 2014Updated 12 years ago
- A speedreader inspired by Spritz and Optimal Recognition Point☆13Mar 10, 2014Updated 12 years ago
- A Tiger-compiler implementation in OCaml☆11Sep 29, 2022Updated 4 years ago
- Interpreter for inference rules☆14May 5, 2018Updated 8 years ago
- A template for developing Service Stack web service applications, using F# on Linux (using mono/fastcgi/nginx via vagrant).☆14Jul 24, 2013Updated 13 years ago
- This repository contains the code and instructions for Arduino, Python, Streamlit, Machine Learning and more stuff!☆12Apr 8, 2024Updated 2 years ago
- An app to read the purse of the student's card of universities in Karlsruhe and Pforzheim (NOTE: This app no longer works with the curren…☆11Apr 22, 2018Updated 8 years ago
- Generate regex-constrained strings for QuickCheck☆15May 20, 2014Updated 12 years ago
- ☆14Apr 9, 2017Updated 9 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Proof assistant for Typographical Number Theory☆16Dec 15, 2015Updated 10 years ago
- Working through the Book Lisp In Small Pieces☆13Jun 8, 2022Updated 4 years ago
- Adds a guard to disable ObjectInputStream.readObject☆11Dec 6, 2015Updated 10 years ago
- A stack-driven generator of arbitrary WebAssembly programs☆22Sep 5, 2021Updated 5 years ago
- Experiments with haskell neural networks☆11Jul 16, 2015Updated 11 years ago
- Static analysis of a parallel Scheme☆18Jun 3, 2014Updated 12 years ago
- Stream based PDF library☆15Aug 20, 2015Updated 11 years ago
- Microsoft Static Driver Verifier Benchmarks☆14Jul 21, 2017Updated 9 years ago
- Divine what code you meant to write to make your tests pass☆16Jul 6, 2015Updated 11 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Python Tomb Wrapper☆14Feb 16, 2017Updated 9 years ago
- Allow inserting text context search results on the active note.☆22Mar 13, 2022Updated 4 years ago
- ☆15Oct 15, 2026Updated 3 weeks ago
- Downloads metadata and pdfs given a paper search query.☆21Apr 24, 2013Updated 13 years ago
- Model Context Protocol for SALOME☆13Mar 17, 2026Updated 7 months ago
- Constrained writing with Ruby.☆15Aug 1, 2011Updated 15 years ago
- small tool to create OCaml software bundles from OPAM packages, superseded by builtin functionality in opam 2☆18Aug 8, 2015Updated 11 years ago
- Integrates the GPaste clipboard manager and Emacs' kill-ring☆14Oct 30, 2023Updated 3 years ago
- ☆10Apr 15, 2019Updated 7 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- miniKanren with a first-order representation of the search space☆16Mar 11, 2026Updated 7 months ago
- MiniSat reimplemented in Rust☆21Apr 18, 2018Updated 8 years ago
- Convert C-code to OCaml Ctypes via Clang☆21Apr 15, 2019Updated 7 years ago
- Link to preprints for POPL'18 and colocated events☆85Jun 16, 2018Updated 8 years ago
- A utility to watermark PDF files from the command line☆21Jul 7, 2023Updated 3 years ago
- ☆10Jul 26, 2024Updated 2 years ago
- Generation of 3D objects from 2D images☆14Mar 29, 2020Updated 6 years ago