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:
- Database management in single PHP file☆15Oct 15, 2012Updated 13 years ago
- Simple CMS built on top of Nette Framework and Doctrine 2. Project is no longer maintained.☆17Mar 9, 2012Updated 14 years ago
- This is a common repository for the ABCD team to share use-cases of session types.☆15Feb 29, 2016Updated 10 years ago
- Handling errors which occur deep inside lens-chains☆17Jul 4, 2019Updated 6 years ago
- An editor for interactively building natural deduction proofs☆20Sep 24, 2018Updated 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.
- ITT: quantified dependent calculus with inference of all modalities, implemented in Idris 2☆25Dec 5, 2024Updated last year
- Webpay is an implementation of the WebPaymentProvider spec☆42Mar 25, 2016Updated 10 years ago
- A Common Lisp Bayesian Network Inference Engine☆27Apr 15, 2013Updated 13 years ago
- Ghost theme in the style of Edward Tufte's books and handouts☆10Aug 30, 2015Updated 10 years ago
- ☆15Feb 7, 2018Updated 8 years ago
- Jupyter nbextension supporting alternate input modes.☆15Jan 5, 2018Updated 8 years ago
- Automatically exported from code.google.com/p/baposter☆18Dec 15, 2015Updated 10 years ago
- Ring solver for Idris☆20Nov 12, 2018Updated 7 years ago
- Pandoc-powered Previewer for Atom☆14Dec 1, 2015Updated 10 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.
- Paper: inexact GMRES with fast multipole method and low-p relaxation☆11Aug 23, 2023Updated 2 years ago
- 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
- MG top-down beam parsing☆14Jul 2, 2018Updated 7 years ago
- Mopidy-Podcast extension for searching and browsing podcasts on the iTunes Store☆15Jun 2, 2026Updated last week
- Dirichlet process mixture model (DPMM) for datamicroscopes☆14Oct 9, 2015Updated 10 years ago
- A library and case-study for linear, intrinsically-typed interpreters in Agda☆36Dec 21, 2019Updated 6 years ago
- Forward-chaining rules over Storm☆29Nov 26, 2014Updated 11 years ago
- Support for linguistics-style examples in Org mode☆10Dec 9, 2022Updated 3 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- A toolkit to manipulate Scribble-style multiparty protocols, based on classical multiparty session type theory.☆31May 6, 2026Updated last month
- a haskellified version of the classic sed unix tool☆21Apr 1, 2015Updated 11 years ago
- Non-convex optimization on the GPU using WebGL and Now.js☆18Jul 13, 2014Updated 11 years ago
- Run cabal inside nix-shell☆14Jul 26, 2019Updated 6 years ago
- An enumeration and cross-referencing library for use with Pollen☆13Feb 29, 2016Updated 10 years ago
- Reimplementation of Texy! formatter in JavaScript☆25Dec 3, 2023Updated 2 years ago
- GPTIPS2F: Symbolic Regression toolbox for MATLAB evolved☆11Apr 29, 2026Updated last month
- My development environment☆15Feb 18, 2020Updated 6 years ago
- Semantic graph parser based on Categorial grammars☆16Jun 29, 2025Updated 11 months ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- Self-contained repository for the eponymous paper☆30Jan 11, 2019Updated 7 years ago
- Tools to prepare linguistic surveys for Amazon Mechanical Turk☆16Oct 3, 2017Updated 8 years ago
- A Bayesian testing framework written in Python.☆94Feb 10, 2015Updated 11 years ago
- Code for various active transfer learning projects.☆10Feb 9, 2015Updated 11 years ago
- ☆90Jan 10, 2015Updated 11 years ago
- Intero Haskell IDE with Nix instead of Stack☆15Jan 3, 2018Updated 8 years ago
- Docear: An Academic Literature Suite for Searching, Organizing and Creating Academic Literature☆13Nov 1, 2012Updated 13 years ago