The arXiv client you deserve
☆14Oct 10, 2017Updated 8 years ago
Alternatives and similar repositories for pyarxiv
Users that are interested in pyarxiv are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Fine-grained lattice primitives for Haskell☆18Mar 8, 2018Updated 8 years ago
- The algebra for formal power series in elements of the Weyl algebra☆18Jul 25, 2018Updated 7 years ago
- DIY Markov Chains.☆25Nov 9, 2024Updated last year
- Vector & affine spaces, linear maps, and derivatives☆49Jun 6, 2025Updated 11 months ago
- Dig into an opam switch for doc☆10Apr 8, 2022Updated 4 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- A recursive file-system digest (hash)☆13Apr 21, 2026Updated 2 weeks ago
- A library that implements the websocket protocol on top of Async☆14Apr 6, 2026Updated last month
- A clean implementation of Parsing with Zippers.☆38Sep 22, 2018Updated 7 years ago
- a small cmd line tool to align words in a sequence of lines in a smart way☆13Apr 6, 2026Updated last month
- Haskell Interface for getting overall system statistics☆16Feb 8, 2019Updated 7 years ago
- Cash is a Unix shell that is embedded within Objective Caml. It's a Caml implementation of (an as large as possible subset of) the API of…☆11Sep 7, 2013Updated 12 years ago
- Finitely represented /total/ maps☆17Nov 23, 2019Updated 6 years ago
- Voevodsky's 2006 paper on homotopy lambda calculus☆15Jan 11, 2015Updated 11 years ago
- Timing attack resistant type systems☆24May 13, 2015Updated 10 years ago
- 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.
- I/O utilities and datasets for algebraic-graphs☆14Aug 29, 2022Updated 3 years ago
- ☆16Apr 11, 2023Updated 3 years ago
- Complete, typesafe representation of Vega-Lite in OCaml☆10Nov 13, 2017Updated 8 years ago
- Functional Vector Graphics☆17Jun 19, 2017Updated 8 years ago
- OCaml implementation of sets as hash tables by Jean-Christophe Filliatre☆10Feb 13, 2025Updated last year
- A demo of Functional Reactive Programming in Purescript☆11May 17, 2018Updated 7 years ago
- Some fun with creating little collaborative browser things...☆11Apr 25, 2021Updated 5 years ago
- OCaml library for building clients and servers that communicate using the Redis Serialization Protocol☆13Nov 6, 2021Updated 4 years ago
- OCaml library to access Maildir folders☆19Feb 25, 2019Updated 7 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- sliding fast fourier transform using haskell streaming☆13Feb 19, 2019Updated 7 years ago
- Revamp ocaml-manual☆11Oct 18, 2020Updated 5 years ago
- QOI image codec for OCaml (unreleased)☆11Jan 2, 2026Updated 4 months ago
- A library for typed manipulation of UNIX-style file paths.☆13Apr 6, 2026Updated last month
- Operational-style Applicative, Alternative, Monad and MonadPlus, using free monads.☆25Jun 16, 2017Updated 8 years ago
- A search index specialised for LaTeX equations. Developed for latexsearch.com.☆17Jul 15, 2011Updated 14 years ago
- A simple tool and library to embed files and directories inside an OCaml executables☆20Apr 11, 2022Updated 4 years ago
- A small in-terminal dungeon crawler written in Haskell☆11Aug 29, 2018Updated 7 years ago
- Lenses and tracked selectors enhancer and hooks for reductive.☆14Jan 5, 2023Updated 3 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.
- Elliptic Curve Diffie-Hellman on Edwards Curves (X25519, X448)☆11Oct 30, 2020Updated 5 years ago
- Library for tokenizing code with TextMate grammars☆15Apr 11, 2026Updated 3 weeks ago
- Haskell implementation of Glumpy☆12Jun 21, 2021Updated 4 years ago
- Haskell Protocol Buffers☆12Jan 22, 2020Updated 6 years ago
- Formalization in Coq of algorithms used in compilers for the Compiler.org project☆15Dec 22, 2018Updated 7 years ago
- GHCJS FFI bindings to the Electron API (WIP).☆10May 21, 2017Updated 8 years ago
- Foundations of Computer Science notebooks☆17Oct 13, 2025Updated 6 months ago