Alternatives and similar repositories for springer_book_scraper

Users that are interested in springer_book_scraper are comparing it to the libraries listed below

• josevalim / nested-map-reduce-traversal
  ☆32Updated last year
• etnt / Haskerl
  Haskell subset compiled to the Beam machine.
  ☆42Updated 10 years ago
• jmitchell / idris-elixir
  Idris backend targeting Elixir (Work in progress)
  ☆18Updated 8 years ago
• SimonJF / monitored-session-erlang
  Supervised Session Actors
  ☆22Updated 9 years ago
• jameshaydon / idris-elixir
  A code-generator for Idris that targets Elixir
  ☆63Updated 7 years ago
• hamler-lang / docs
  Documentation of Hamler
  ☆77Updated last year
• poor-a / erlang-ffi
  A Foreign Function Interface that lets Haskell and Erlang programs communicate.
  ☆67Updated last year
• expede / rescue
  🚒✨ Rescue: better errors through types (a more type directed MonadThrow/MonadCatch)
  ☆20Updated 3 years ago
• Szetty / erlang-ffi
  Communicate with Erlang node from Haskell
  ☆13Updated 4 years ago
• lindenbaum / hinterface
  Haskell / Erlang interoperability library
  ☆29Updated 2 years ago
• erlscripten / erlscripten
  Erlang to PureScript transpiler. Run Erlang in the browser!
  ☆114Updated 2 years ago
• jaalonso / Examenes_de_PF_con_Haskell
  Exámenes de programación funcional con Haskell
  ☆9Updated 2 years ago
• yurrriq / idris-logic
  Propositional logic tools, inspired by the Coq standard library.
  ☆9Updated 7 years ago
• urbanserj / hsnif
  Tool that allows to write Erlang NIF libraries in Haskell
  ☆25Updated 12 years ago
• christian-public / Idris2-Erlang
  Erlang code generator for Idris 2
  ☆141Updated last year
• fedelebron / algo3
  Material de estudio para Algoritmos y Estructuras de Datos III / Técnicas de Diseño de Algoritmos de FCEyN, UBA.
  ☆14Updated last week
• Saityi / a-tour-of-standard-ml
  A Tour of Standard ML (in the style of A Tour of Go)
  ☆52Updated 4 years ago
• klarna-incubator / kappa
  ☆24Updated 2 months ago
• aleryo / haskell-online-dojo
  A Haskell clone of https://cstack.github.io/db_tutorial
  ☆11Updated 5 years ago
• bugarela / tla-transmutation
  Elixir code and test generation from TLA+ specifications
  ☆76Updated 2 years ago
• lambdaclass / erlings
  Small exercises to get you used to reading and writing Erlang code
  ☆183Updated 10 months ago
• uqbar-project / wollok-ts
  TypeScript based Wollok language implementation
  ☆21Updated last week
• mvaldesdeleon / aoc18
  Advent of Code 2018
  ☆24Updated 6 years ago
• id3as / demo-ps
  Skeleton app with contrived client/server examples
  ☆20Updated 2 years ago
• exercism / idris
  Exercism exercises in Idris.
  ☆35Updated 2 weeks ago
• vrnithinkumar / ETC
  ETC
  ☆17Updated 3 years ago
• lucamug / elm-box-drawing
  Create pictures and animations with Box-drawing characters!
  ☆12Updated 4 years ago
• SimonJF / mbcheck
  Implementation of typechecker from paper "Special Delivery: Programming with Mailbox Types"
  ☆15Updated this week
• AHartNtkn / Dependent-Binary-Lambda-Calculus
  A Dependently Typed Esolang
  ☆10Updated 7 years ago
• feeley / etos
  Erlang to Scheme compiler
  ☆38Updated 13 years ago