BiBLaTeX style for Springer Lecture Notes in Computer Science
☆18May 8, 2023Updated 3 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☆22Apr 17, 2026Updated 2 months ago
- IMITATOR is a parametric timed model checker taking as input extensions of parametric timed automata, and synthesizing parameter valuatio…☆29Jun 26, 2026Updated last week
- High Assurance Cryptographic Software☆10Jun 1, 2026Updated last month
- Unsafe 3-round MuSig in Python for experimentation☆11Jan 12, 2023Updated 3 years ago
- An interpreter for the Semantic Micro Object Language (SMOL), which intergrates semantic technologies directly on language level.☆19Apr 16, 2026Updated 2 months 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.
- A toolbox for dealing with formal models from construction to analysis based on the JANI-model interchange format.☆19Aug 3, 2024Updated last year
- A template for starting a scala project with sbt☆35May 16, 2023Updated 3 years ago
- Profiles for the user account systems of various sites.☆14May 14, 2019Updated 7 years ago
- one of many proofs, ring signatures, and zerocoin algo from https://eprint.iacr.org/2014/764.pdf☆15Dec 12, 2022Updated 3 years ago
- ☆16Oct 26, 2020Updated 5 years ago
- A Haskell program and library to derive instances for data types☆25May 30, 2020Updated 6 years ago
- Symbolic link navigation for Fish shell☆11Mar 14, 2024Updated 2 years ago
- Cambridge ACS Category Theory, Type Theory, and Logic - lecture notes 2017.☆14Jan 18, 2018Updated 8 years ago
- mechanical-elephant.com☆11Jan 29, 2016Updated 10 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.
- Formalizing nbe in agda☆32Nov 22, 2012Updated 13 years ago
- Ask me anything meaningful - meaningful questions for a good conversation☆12Aug 8, 2018Updated 7 years ago
- Sketch and LSH Index library for Java, including OPH methods as well as the Lazo method☆15Dec 24, 2023Updated 2 years ago
- ☆87Jun 28, 2025Updated last year
- An Exemplar for Self-Adaptive Underwater Vehicles performing pipeline inspection☆42Jun 20, 2026Updated 2 weeks ago
- showcase ui5-tooling + CAP + testing☆14Jan 24, 2023Updated 3 years ago
- ☆14Jan 12, 2021Updated 5 years ago
- Links and utilities for MIMIR dataset☆39Mar 6, 2024Updated 2 years ago
- Self-contained repository for the eponymous paper☆30Jan 11, 2019Updated 7 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.
- BiBLaTeX style for Springer Lecture Notes in Computer Science☆21Jul 29, 2019Updated 6 years ago
- chromium extension that enchances the canvas experience☆11Jan 23, 2026Updated 5 months ago
- The Org-mode Parser for Python☆12Jan 28, 2017Updated 9 years ago
- [Neurips 2024] This repository is the official implementation of the Spatio-hemispherical equivariant convolution for dMRI deconvolution …☆13Dec 24, 2024Updated last year
- Learning Rate Finder using Tensorflow Dataset☆10Jul 24, 2020Updated 5 years ago
- ☆13Apr 14, 2025Updated last year
- ☆15Jan 26, 2022Updated 4 years ago
- A Vue SPA that shows the score of a DLDU or Soulkeepers run on stream.☆36Updated this week
- A book about large-scale design in Haskell☆75Sep 23, 2014Updated 11 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Harmonization of multi-site, multi-shell diffusion MRI☆14Oct 16, 2025Updated 8 months ago
- traditional bibliography styles with biblatex☆31Mar 6, 2021Updated 5 years ago
- ☆10May 15, 2021Updated 5 years ago
- TongjiThesis Docker 环境 | Docker environment for TongjiThesis (Tongji University thesis LaTeX template)☆12Mar 28, 2026Updated 3 months ago
- ☆17Oct 9, 2016Updated 9 years ago
- Chrome/Chromium extension to spoof user agent. Modifies both outgoing requests 'User-Agent' header and javascript object including naviga…☆20Jun 15, 2020Updated 6 years ago
- Take BTRFS snapper snappshots after each apt-get transaction. A fork of apt-btrfs-snapshot.☆20Jun 8, 2015Updated 11 years ago