BiBLaTeX style for Springer Lecture Notes in Computer Science
☆18May 8, 2023Updated 2 years ago
Alternatives and similar repositories for biblatex-lncs
Users that are interested in biblatex-lncs are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- An itree-like data-structure to additionally support internal non-determinism☆21Nov 25, 2025Updated 4 months ago
- IMITATOR is a parametric timed model checker taking as input extensions of parametric timed automata, and synthesizing parameter valuatio…☆28Mar 19, 2026Updated last week
- High Assurance Cryptographic Software☆10Dec 23, 2025Updated 3 months ago
- Unsafe 3-round MuSig in Python for experimentation☆11Jan 12, 2023Updated 3 years ago
- A toolbox for dealing with formal models from construction to analysis based on the JANI-model interchange format.☆19Aug 3, 2024Updated last year
- Wordpress hosting with auto-scaling on Cloudways • AdFully Managed hosting built for WordPress-powered businesses that need reliable, auto-scalable hosting. Cloudways SafeUpdates now available.
- ☆16Oct 26, 2020Updated 5 years ago
- mechanical-elephant.com☆11Jan 29, 2016Updated 10 years ago
- ☆23Jan 30, 2025Updated last year
- Decred CoinShuffle++☆30Jan 24, 2025Updated last year
- Babel plugin for transforming ES2017 features Object.entries and Object.keys☆13May 2, 2024Updated last year
- Flexible Rust implementation of the MuSig2 multisignature protocol, compatible with Bitcoin.☆40Jan 22, 2026Updated 2 months ago
- Helm interface for generating .gitignore files☆23Oct 22, 2021Updated 4 years ago
- Unified Maude model-checking tool☆13Feb 4, 2026Updated last month
- A simple BDD library for OCaml☆13May 20, 2025Updated 10 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- Fork of http://asciitex.sourceforge.net/ with several improvements. But you should really be using https://github.com/bartp5/libtexprintf…☆13Jan 30, 2023Updated 3 years ago
- Lazy python recipes.☆10Apr 17, 2021Updated 4 years ago
- Sphinx theme for SciPy documentation and websites☆17Dec 30, 2021Updated 4 years ago
- A Javascript library to display and interact with Petri Nets.☆14Nov 16, 2017Updated 8 years ago
- Allows the use of BibTeX citations within a Pelican site☆25Apr 14, 2020Updated 5 years ago
- My talk at PyCon Spain 2014 [Spanish]☆14Sep 8, 2021Updated 4 years ago
- Optimized Binary GCD for Modular Inversion☆52Oct 28, 2020Updated 5 years ago
- Accumulators and Vector Commitments☆42Dec 7, 2022Updated 3 years ago
- Unofficial build of Adobe Acrobat 9.5.5 running within a docker container forwarded to local X session, based on chrisdaish/acroread☆11Dec 13, 2018Updated 7 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Pedagogical first-order prover in Python☆81Jun 10, 2025Updated 9 months ago
- Browser extension to check and uptate archival of repositories in Software Heritage☆19Jan 6, 2024Updated 2 years ago
- the helena Petri net tool repository☆11Sep 8, 2021Updated 4 years ago
- The Blueprint project aims at delivering a full featured library of high quality graphics and diagrams for project managers and system de…☆32Oct 10, 2015Updated 10 years ago
- 📚 An open source repository of resources for the Javascript Ecosystem.☆17Dec 16, 2017Updated 8 years ago
- Course taught at the University of Bordeaux in the academic year 2017 for PhD students.☆17Feb 6, 2017Updated 9 years ago
- A web-based template for hosting systems for real-time music HCI.☆13Jul 6, 2024Updated last year
- A set of notebooks to introduce neuroscientists to concepts in information visualization.☆14Apr 27, 2018Updated 7 years ago
- Tool to convert OASIS metadata to OPAM package descriptions☆27Oct 28, 2017Updated 8 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- Jupyter Interactive Workflows for High Performance Computing☆15Apr 15, 2020Updated 5 years ago
- Show info about package releases on PyPI.☆15Sep 12, 2025Updated 6 months ago
- Bounds on divsteps iterations in safegcd☆57Sep 30, 2024Updated last year
- High-Level Nets Blaster for the Model-Checking Contest☆11Jan 18, 2026Updated 2 months ago
- This repository hosts the source code of PNML Framework, the companion tool of ISO/IEC 15909-2 (Petri Nets Markup Language - www.pnml.org…☆13May 20, 2024Updated last year
- Formalising session types in Coq☆18Sep 6, 2019Updated 6 years ago
- ☆14Apr 10, 2018Updated 7 years ago