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:
- IMITATOR is a parametric timed model checker taking as input extensions of parametric timed automata, and synthesizing parameter valuatio…☆28Updated this 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
- ☆16Oct 26, 2020Updated 5 years ago
- Wordpress hosting with auto-scaling - Free Trial • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- mechanical-elephant.com☆11Jan 29, 2016Updated 10 years ago
- Formalizing nbe in agda☆32Nov 22, 2012Updated 13 years ago
- Sketch and LSH Index library for Java, including OPH methods as well as the Lazo method☆15Dec 24, 2023Updated 2 years ago
- showcase ui5-tooling + CAP + testing☆14Jan 24, 2023Updated 3 years ago
- ☆14Jan 12, 2021Updated 5 years ago
- The Org-mode Parser for Python☆12Jan 28, 2017Updated 9 years ago
- Learning Rate Finder using Tensorflow Dataset☆10Jul 24, 2020Updated 5 years ago
- ☆17Oct 9, 2016Updated 9 years ago
- Talend Administration Center (TAC) Docker build files☆12Jun 23, 2016Updated 9 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- my configuration☆22Apr 10, 2026Updated last week
- ☆23Jan 30, 2025Updated last year
- Decred CoinShuffle++☆29Jan 24, 2025Updated last year
- A regression based approach to estimate the Remaining Useful Life (RUL) of a paper mill for a web break prediction problem.☆13May 5, 2022Updated 3 years ago
- Verifying constant-time code with symbolic execution☆47Oct 26, 2021Updated 4 years ago
- An INSECURE implementation of the secp256k1 elliptic curve and related cryptographic schemes written in Python, intended for prototyping,…☆32Jan 20, 2026Updated 2 months ago
- A backend for Excalidraw that supports LTI integration and collects data to perform Learning Analytics.☆10Apr 29, 2024Updated last year
- Pelican plugin to list similar posts to articles, based on a vector space model.☆20Dec 31, 2024Updated last year
- Babel plugin for transforming ES2017 features Object.entries and Object.keys☆13May 2, 2024Updated last year
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Generate Spotify Playlist Recommendations from your Personal Data☆19Jun 1, 2022Updated 3 years ago
- Turn table into subfigure. More or less a hack atm, easy to incorporate to org-mode though☆21Feb 13, 2021Updated 5 years ago
- Helm interface for generating .gitignore files☆23Oct 22, 2021Updated 4 years ago
- Unified Maude model-checking tool☆13Updated this week
- 📜 Jasper reports viewing and compiling support for Intellij Idea IDE☆16Aug 7, 2023Updated 2 years ago
- A simple BDD library for OCaml☆13May 20, 2025Updated 10 months ago
- Lazy python recipes.☆10Updated this week
- Sphinx theme for SciPy documentation and websites☆17Dec 30, 2021Updated 4 years ago
- Allows the use of BibTeX citations within a Pelican site☆25Apr 14, 2020Updated 6 years ago
- Wordpress hosting with auto-scaling - Free Trial • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- A test runner for UI5 applications enabling parallel execution of tests.☆29Updated this week
- My talk at PyCon Spain 2014 [Spanish]☆14Sep 8, 2021Updated 4 years ago
- A Skunkworks project on the NASA battery degradation data at the ECS 232 Hack Day.☆19Oct 4, 2017Updated 8 years ago
- Accumulators and Vector Commitments☆42Dec 7, 2022Updated 3 years ago
- Microsoft Teams API Client.☆24Dec 27, 2020Updated 5 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
- Browser extension to check and uptate archival of repositories in Software Heritage☆19Jan 6, 2024Updated 2 years ago