MalenaMaffei / springer_book_scraperLinks
☆26Updated 5 years ago
Alternatives and similar repositories for springer_book_scraper
Users that are interested in springer_book_scraper are comparing it to the libraries listed below
Sorting:
- Resources for the course "Interactive theorem provers: theory and practice" given at the Escuela de Ciencias Informáticas in July 2025 at…☆17Updated last month
- Supervised Session Actors☆22Updated 9 years ago
- ETC☆16Updated 4 years ago
- ☆24Updated 4 months ago
- 🧰 Build Gleam code with rebar3☆15Updated 3 years ago
- very important emojis☆14Updated 2 years ago
- ☆33Updated 2 years ago
- An Erlang OTP application for load shedding☆26Updated 4 months ago
- A generic, in-memory caching application based on ETS.☆32Updated 4 months ago
- Helpers for defining Elixir operators☆23Updated 3 years ago
- A semantic search tool for Erlang that supports large code-bases.☆49Updated 4 months ago
- OTP diagrams using PlantUML☆12Updated 5 years ago
- Haskell subset compiled to the Beam machine.☆42Updated 11 years ago
- Small exercises to get you used to reading and writing Erlang code☆186Updated last year
- Erlang ⇔ QML bindings☆17Updated 11 years ago
- Turn a Prolog File into a Gen Server☆21Updated 10 years ago
- Astarte platform core Elixir modules☆18Updated last month
- ☆19Updated 8 years ago
- An Erlang INI parser☆21Updated 4 years ago
- Interval tree with self-balancing AVL tree☆11Updated 7 years ago
- Clases de la materia de Técnicas Avanzadas de Programación☆23Updated this week
- ☆10Updated this week
- An Erlang library for Merkle Trees.☆18Updated 7 years ago
- Erlang flavored by Some ML☆36Updated 13 years ago
- Master thesis on developing a static type checker for Erlang☆27Updated 6 years ago
- Erlang web playground http://tryerl.seriyps.ru/☆34Updated 3 months ago
- Universal and extensible data structure library for interacting with Erlang maps, proplists, dicts, etc..☆11Updated 10 months ago
- A simple OCaml library for writing Erlang port drivers☆43Updated 5 years ago
- Techniques, advice, and anecdotes about how to teach Functional Programming☆57Updated 8 years ago
- 🧊 Методологія верифікації теорем☆93Updated last month