The extensive approach to SLE bibliography
☆30Jun 21, 2020Updated 5 years ago
Alternatives and similar repositories for bibsleigh
Users that are interested in bibsleigh are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Artificial Intelligence.☆10Apr 28, 2015Updated 10 years ago
- ☆16Mar 17, 2026Updated last week
- show flycheck errors in the frame title☆10Mar 21, 2021Updated 5 years ago
- This repository contains an implementation for design patterns detection. In this task, feature engineering and ensemble learning are app…☆10Jul 30, 2022Updated 3 years ago
- PHART: Python Hierarchical ASCII Rendering Tool - A Pure Python library and console CLI tool that renders graphs (NetworkX, GraphML, Gra…☆19Mar 16, 2026Updated last week
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Rust serialization library for OpenAPIv3☆13Jan 21, 2020Updated 6 years ago
- blog.mattbierner.com☆10Jul 4, 2024Updated last year
- Backpack examples repository☆14Aug 18, 2017Updated 8 years ago
- ☆13Feb 18, 2022Updated 4 years ago
- Toy demo of lexing/parsing in Coq☆12Jul 3, 2019Updated 6 years ago
- The repository for the Code Review Open Platform (CROP)☆13Apr 29, 2018Updated 7 years ago
- Create Synchronicity is an easy, fast and powerful backup application. It synchronizes files & folders, has a neat interface, and can sch…☆12Jun 5, 2011Updated 14 years ago
- Tinker is a parallel-by-default File/Directory Management System with additional interface to NLP and ML libraries☆10Jul 21, 2017Updated 8 years ago
- Python / Github CLI - Github dependabot alert scraper - Software Composition Analysis (SCA), Vulnerability Management, Patching, Supply C…☆10Feb 10, 2023Updated 3 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.
- Modular Finite Maps over Ordered Types in Coq [maintainers=@letouzey,@palmskog]☆11Jun 30, 2024Updated last year
- OCaml bindings for RE2☆48Jan 15, 2026Updated 2 months ago
- Helping submit, track, and share public records requests in Hawaii☆11Dec 20, 2024Updated last year
- Quick inline peeks at agenda items and linked nodes in Org-mode☆21Oct 6, 2022Updated 3 years ago
- Customized Spark processor on NiFi☆15Dec 4, 2015Updated 10 years ago
- C++-to-webassembly testbed, in the form of a simple graphics library☆14Apr 23, 2019Updated 6 years ago
- A GCC plugin that measures where time is spent and outputs a time trace☆13Nov 12, 2024Updated last year
- Material de curso ECI 2018☆10Aug 6, 2018Updated 7 years ago
- Fork of Microsoft/LightGBM to include support for the CEGB (Cost Efficient Gradient Boosting) algorithm. Original repository at https://g…☆13Jun 30, 2017Updated 8 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.
- Syntax highlighting for F* in Atom Editor☆11Oct 4, 2021Updated 4 years ago
- A LaTeX thesis/dissertation class for the University of Hawaii at Manoa☆14Mar 9, 2015Updated 11 years ago
- Reflection library for Coq☆12Sep 26, 2019Updated 6 years ago
- A coq plugin to deal with commutative diagrams☆23Jul 6, 2025Updated 8 months ago
- R library for common information retrieval metrics☆14Jun 5, 2023Updated 2 years ago
- ☆13Nov 15, 2017Updated 8 years ago
- Ocaml Linear Engine for JavaScript Regexes, implementing the algorithms described in Linear Matching of JavaScript Regular Expressions at…☆22Updated this week
- Rust library containing algorithms to shrink and dilate various geometric shapes.☆12Jul 25, 2025Updated 8 months ago
- OCaml support for Flycheck using Merlin☆22Jan 6, 2024Updated 2 years ago
- 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.
- Mindless, verified (erasably) coding using dependent types, phase 2☆19Aug 5, 2020Updated 5 years ago
- Object-Oriented approach to the WordPress plugin development☆21Nov 2, 2015Updated 10 years ago
- http://getakka.net/docs/streams/reactivetweets☆16Jun 17, 2016Updated 9 years ago
- ☆10Aug 25, 2019Updated 6 years ago
- Size of datasets used for analytics based on 10 years of surveys by KDnuggets.☆16Nov 18, 2015Updated 10 years ago
- Golang syscall firehose (programmatic strace/dtruss)☆13Nov 26, 2020Updated 5 years ago
- Visual SPARQL query tool☆10Feb 26, 2016Updated 10 years ago