Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

https://github.com/smimram/ocaml-dblp

OCaml library to use the DBLP bibliographic database API.
https://github.com/smimram/ocaml-dblp

bibliography bibtex dblp ocaml

Last synced: 4 months ago
JSON representation

OCaml library to use the DBLP bibliographic database API.

Host: GitHub
URL: https://github.com/smimram/ocaml-dblp
Owner: smimram
License: lgpl-3.0
Created: 2024-08-20T13:18:50.000Z (5 months ago)
Default Branch: main
Last Pushed: 2024-09-29T20:10:52.000Z (4 months ago)
Last Synced: 2024-09-30T06:24:22.214Z (4 months ago)
Topics: bibliography, bibtex, dblp, ocaml
Language: OCaml
Homepage: https://smimram.github.io/ocaml-dblp/
Size: 50.8 KB
Stars: 2
Watchers: 1
Forks: 0
Open Issues: 0
Metadata Files:
- Readme: README.md
- Changelog: CHANGES.md
- License: LICENSE

Awesome Lists containing this project

README

# DBLP API in OCaml

This provides a standalone program in order to extract information from the bibliographic [DBLP](http://dblp.org) database, which is mainly useful for quickly extracting bibtex entries.

We also provide an OCaml library to use the API to query DBLP, which provides functions to search for authors, publications and venues.

## DBLP commandline program

We provide a commandline program in order to query DBLP from the commandline. It can be installed with

```bash
opam install dblp
```

It provides the `dblp` program which takes as argument a command (the kind of query you want to make) and a query (a list of words to look for).

You can find a publication with the `find` command:

```
$ dblp find mimram type

1. Camil Champin, Samuel Mimram, Émile Oleon. Delooping Generated Groups in Homotopy Type Theory. FSCD, 6:1-6:20, 2024.
2. Samuel Mimram, Émile Oleon. Delooping cyclic groups with lens spaces in homotopy type theory. LICS, 56:1-56:15, 2024.
3. Camil Champin, Samuel Mimram, Émile Oleon. Delooping generated groups in homotopy type theory. CoRR, 2024.
4. Samuel Mimram, Émile Oleon. Delooping cyclic groups with lens spaces in homotopy type theory. CoRR, 2024.
5. Samuel Mimram, Émile Oleon. Division by Two, in Homotopy Type Theory. FSCD, 11:1-11:17, 2022.
6. Eric Finster, Samuel Mimram, Maxime Lucas, Thomas Seiller. A Cartesian Bicategory of Polynomial Functors in Homotopy Type Theory. MFPS, 67-83, 2021.
7. Thibaut Benjamin, Eric Finster, Samuel Mimram. Globular weak ω-categories as models of a type theory. CoRR, 2021.
8. Eric Finster, Samuel Mimram. A type-theoretical definition of weak ω-categories. LICS, 1-12, 2017.
9. Eric Finster, Samuel Mimram. A Type-Theoretical Definition of Weak ω-Categories. CoRR, 2017.
```

You can show it (open in the browser) with the `show` command:

```
$ dblp show mimram type
```

You can find a bibtex with the `bibtex` command:

```
$ dblp bibtex mimram type

Select publication (default is first): 8

@inproceedings{DBLP:conf/lics/FinsterM17,
author = {Eric Finster and
Samuel Mimram},
title = {A type-theoretical definition of weak {$\omega$}-categories},
booktitle = {32nd Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS}
2017, Reykjavik, Iceland, June 20-23, 2017},
pages = {1--12},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/LICS.2017.8005124},
doi = {10.1109/LICS.2017.8005124},
timestamp = {Fri, 24 Mar 2023 00:01:49 +0100},
biburl = {https://dblp.org/rec/conf/lics/FinsterM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
```

The `bib` command does pretty much the same but also adds the entry at the end of the `.bib` file in the current directory:

```
$ dblp bib mimram type
```

You can find an author with the `author` command:

```
$ dblp author mimram

Samuel Mimram: https://dblp.org/pid/99/4962
```

You can find a venue:

```
$ dblp venue lics

LICS: ACM/IEEE Symposium on Logic in Computer Science (LICS) (Conference or Workshop)
```

## DBLP library

The above program is based on an OCaml library to query DBLP, which can be installed with

```bash
opam install dblp-api
```

and should be fairly explicit and simple to use. To get started you can have a look at

- [the library documentation](https://smimram.github.io/ocaml-dblp/dblp/DBLP/)
- [a simple example program](test/test.ml)

## Improving

We are open to suggestions and improvements: feel free to [file a bug report](https://github.com/smimram/ocaml-dblp/issues)!

## See also

- [dblp-python library](https://github.com/scholrly/dblp-python)