BiBLaTeX style for Springer Lecture Notes in Computer Science
☆21Jul 29, 2019Updated 6 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☆14May 1, 2016Updated 10 years ago
- Code for AUC Mu☆14Oct 17, 2019Updated 6 years ago
- An R package for performing Self-Controlled Case Series (SCCS) analyses in an observational database in the OMOP Common Data Model.☆13Apr 29, 2026Updated last week
- A semantic highlighter for Idris code☆14Feb 22, 2018Updated 8 years ago
- CHERI sample C programs☆12Jan 16, 2025Updated last year
- 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.
- Database management in single PHP file☆15Oct 15, 2012Updated 13 years ago
- A small library for tracking mutable state in Idris programs☆12Apr 19, 2017Updated 9 years ago
- Provides a reference implementation of FeatherweightRust in Java.☆15Oct 28, 2021Updated 4 years ago
- Source markdown and contents of the CHTC website☆16Updated this week
- move messages from one maildir to another☆12Updated this week
- OCaml back end for Idris☆22Jan 24, 2018Updated 8 years ago
- This is a common repository for the ABCD team to share use-cases of session types.☆15Feb 29, 2016Updated 10 years ago
- A not-quite-so-simple Binary Decision Diagrams implementation for OCaml☆39Jan 30, 2022Updated 4 years ago
- IMITATOR is a parametric timed model checker taking as input extensions of parametric timed automata, and synthesizing parameter valuatio…☆28Apr 16, 2026Updated 3 weeks ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Incubator for PHP components under development☆19Feb 5, 2025Updated last year
- Webpay is an implementation of the WebPaymentProvider spec☆42Mar 25, 2016Updated 10 years ago
- Automatically exported from code.google.com/p/baposter☆17Dec 15, 2015Updated 10 years ago
- ☆15May 21, 2022Updated 3 years ago
- Support for multiple broker hosts and basic "failover" on the client side.☆23Feb 20, 2013Updated 13 years ago
- A partial implementation of Protocol Buffers in Idris☆32Aug 12, 2017Updated 8 years ago
- Complete (!?) list of prototyping tools☆16Oct 30, 2016Updated 9 years ago
- Ring solver for Idris☆20Nov 12, 2018Updated 7 years ago
- Paper: inexact GMRES with fast multipole method and low-p relaxation☆11Aug 23, 2023Updated 2 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- A Haskell implementation of 2048 with Reflex.☆13Oct 1, 2017Updated 8 years ago
- An implementation of the differentially private variational inference algorithm for NumPyro.☆16Sep 3, 2024Updated last year
- Compositional Pattern Producing Networks, now in a javascript library near you!☆11Apr 19, 2015Updated 11 years ago
- Master's project - Artificial Immune System for symbolic regression.☆14May 2, 2013Updated 13 years ago
- Code for parsing out augmented packet header diagrams from IETF documents☆17Apr 22, 2026Updated 2 weeks ago
- Forward-chaining rules over Storm☆29Nov 26, 2014Updated 11 years ago
- A toolkit to manipulate Scribble-style multiparty protocols, based on classical multiparty session type theory.☆30Updated this week
- Web based service which generates API documentation for your PHP GitHub repo☆25Feb 8, 2015Updated 11 years ago
- Lambert W mathematical function☆24Oct 3, 2024Updated last year
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Work on type class deriving with elaboration reflection☆32Sep 9, 2018Updated 7 years ago
- GPTIPS2F: Symbolic Regression toolbox for MATLAB evolved☆11Apr 29, 2026Updated last week
- A development version of the numerically exact variant of MIP solver SCIP☆11Mar 22, 2023Updated 3 years ago
- A Bayesian testing framework written in Python.☆94Feb 10, 2015Updated 11 years ago
- Haskell98 indexed functors, monads, comonads☆25Mar 8, 2022Updated 4 years ago
- Rob Pike's simple regex matcher converted to Go☆11Aug 14, 2022Updated 3 years ago
- Code for various active transfer learning projects.☆10Feb 9, 2015Updated 11 years ago