BiBLaTeX style for Springer Lecture Notes in Computer Science
☆14May 1, 2016Updated 10 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:
- BiBLaTeX style for Springer Lecture Notes in Computer Science☆21Jul 29, 2019Updated 7 years ago
- A library of formal models in the jani-model format.☆14Sep 5, 2022Updated 4 years ago
- Front-end for Spin to generate swarm verification scripts☆13Mar 10, 2019Updated 7 years ago
- Code I wrote for my Master's thesis☆20Jan 12, 2023Updated 3 years ago
- Linux process monitor in RUST☆13May 5, 2018Updated 8 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- 📄🖋️💻 LaTeX document class for technical documents at SE HSE☆11Apr 25, 2021Updated 5 years ago
- A batch (multiple concurrent sequence pairs) implementation of Dynamic Time Warping (DTW) in Theano☆10Sep 13, 2015Updated 11 years ago
- ☆13Nov 18, 2024Updated last year
- Lists examples of all the ways two smart contracts written in Solidity can interact.☆24Jan 29, 2019Updated 7 years ago
- Pure Julia implementation of 1D & 2D cubic Hermite spline interpolation.☆13Sep 6, 2024Updated 2 years ago
- R Interface between bupaR and the PM4Py Process Mining library☆18May 10, 2024Updated 2 years ago
- Noweb, a simple literate-programming tool: the never-released, alpha, Lua-based version☆10Mar 25, 2016Updated 10 years ago
- Source Code for "Practical OpenTelemetry: Adopting Open Observability Standards Across Your Organization" by Daniel Gomez Blanco☆22Mar 6, 2023Updated 3 years ago
- Automatic testing of small programming assignments and comparison of Haskell expressions and types based on QuickCheck. Intended for auto…☆10Oct 19, 2022Updated 4 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Anon-Pass is a practical cryptographic anonymous subscription scheme. Combined with a proof-of-concept integration, it can scale to thou…☆12Dec 15, 2014Updated 11 years ago
- ☆16Nov 8, 2023Updated 2 years ago
- A not-quite-so-simple Binary Decision Diagrams implementation for OCaml☆41Jan 30, 2022Updated 4 years ago
- PayPal basic library and Nette component☆15Apr 29, 2016Updated 10 years ago
- IMITATOR is a parametric timed model checker taking as input extensions of parametric timed automata, and synthesizing parameter valuatio…☆31Oct 21, 2026Updated last week
- Handling errors which occur deep inside lens-chains☆17Jul 4, 2019Updated 7 years ago
- move messages from one maildir to another☆13Jul 26, 2026Updated 3 months ago
- Background compilation, completion, bib serch, toc and other nice features.☆12Feb 3, 2013Updated 13 years ago
- Performance Spectrum Miner☆23Oct 21, 2024Updated 2 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Sync ethereum blockchain to Neo4J☆29Oct 5, 2017Updated 9 years ago
- Incubator for PHP components under development☆19Feb 5, 2025Updated last year
- Python implementation of the Sphinx mix format. - Paper: http://www.cypherpunks.ca/~iang/pubs/Sphinx_Oakland09.pdf☆16Jun 17, 2019Updated 7 years ago
- Regression Analysis for Julia☆12Sep 8, 2019Updated 7 years ago
- This is a LaTeX template for Bachelor and Master theses at Eindhoven University of Technology. The template not only provides a basic lat…☆39Jun 25, 2025Updated last year
- ☆15May 21, 2022Updated 4 years ago
- Julia bindings for the data compression library zfp☆17Jul 18, 2026Updated 3 months ago
- ☆22Mar 5, 2024Updated 2 years ago
- Database management in single PHP file☆15Oct 15, 2012Updated 14 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.
- Chainer implementation of Self-Normalizing Networks (SNN)☆24Jun 11, 2017Updated 9 years ago
- Manages a test-corpus for PDF.js☆17Jan 29, 2018Updated 8 years ago
- Complete (!?) list of prototyping tools☆16Oct 30, 2016Updated 9 years ago
- System tray client indicators (mail, workspaces, ...)☆11Mar 22, 2015Updated 11 years ago
- Adversarial attack methods, FGSM and TGSM, implemented in Chainer☆15Jul 7, 2017Updated 9 years ago
- Java implementation of Lempel-Ziv Jaccard Distance☆22Sep 17, 2017Updated 9 years ago
- RSS feeds of journals and conferences indexed by DBLP☆18Aug 9, 2013Updated 13 years ago