Alternatives and similar repositories for taller-2017

Users that are interested in taller-2017 are comparing it to the libraries listed below

• lambdaclass / data_etudes
  LambdaClass statistics, machine learning and data science etudes
  ☆12Updated last year
• mumuki / mulang
  Universal, Multi Language, Multi Paradigm code analyzer
  ☆124Updated last year
• facundoolano / emojis
  very important emojis
  ☆14Updated 2 years ago
• howistart / howistart-hakyll
  howistart.org the hakyll version
  ☆8Updated 5 years ago
• uqbar-project / wollok
  Wollok Programming Language
  ☆60Updated 3 years ago
• statebox / bcfwm
  Blockchain Technology for the Working Mathematician
  ☆24Updated 7 years ago
• philass / HarkDB
  Multi-backend GPU query engine written with Futhark
  ☆18Updated 2 years ago
• WhoopInc / dogstatsde
  A StatsD (plus Datadog tag additions) client for Erlang
  ☆12Updated last year
• unbalancedparentheses / learn_economics
  Economics études: books, papers and courses
  ☆20Updated 2 years ago
• expede / rescue
  🚒✨ Rescue: better errors through types (a more type directed MonadThrow/MonadCatch)
  ☆20Updated 3 years ago
• shin-sakata / Citrous
  Easy, Fast and Type-Safe Web Application Framework
  ☆32Updated 4 years ago
• rupurt / schoolbus
  Manage one or more PubSub instances using the Elixir registry
  ☆19Updated 2 years ago
• Hirevo / koak
  A compiler for a little statically-typed language implemented in Haskell.
  ☆13Updated 6 years ago
• andresilva / rust-okasaki
  Purely Functional Data Structures in Rust
  ☆42Updated 9 years ago
• ZanjeerPlatform / csmt
  Compact Sparse Merkle Trees (CSMT) with pluggable storage.
  ☆38Updated 6 years ago
• QuinnWilton / gleam_logic
  Logic programming with µKanren
  ☆11Updated 4 years ago
• yurikoval / ex_tectonicdb
  TectonicDB client library for Elixir to read/write L2 order book data
  ☆16Updated 2 years ago
• dmurfet / polysemantics
  Polynomial semantics of linear logic
  ☆13Updated 7 years ago
• serokell / haskell-crypto
  Haskell cryptography done right
  ☆18Updated 2 weeks ago
• ConsenSysMesh / Fae
  A functional smart contract system
  ☆6Updated 6 years ago
• digama0 / frat
  DRAT proof processor
  ☆14Updated 2 years ago
• Willyboar / colours
  A Gleam Library for adding colours in Terminal
  ☆11Updated last year
• wereHamster / rethinkdb-client-driver
  Haskell client driver for RethinkDB
  ☆19Updated 4 years ago
• lambdaclass / cairo-vm-py
  cairo-rs-py adds Python bindings to the cairo-rs Cairo VM
  ☆23Updated last year
• AntidoteDB / crdt-visualizer
  Visualized CRDT executions in a web page to explain their semantics
  ☆16Updated 6 years ago
• jmitchell / idris-elixir
  Idris backend targeting Elixir (Work in progress)
  ☆18Updated 8 years ago
• MathiasVP / ni-formal-gc
  Coq formalization of timing-sensitive noninterference for a garbage collected language with heap and runtime pc level.
  ☆9Updated 5 years ago
• anoma / research
  Early-stage research related to the Anoma protocols.
  ☆23Updated last year
• SamuelSchlesinger / hs-ts
  A simple example of integrating TypeScript and Haskell.
  ☆13Updated 3 years ago
• idris-hackers / idris-algebra
  This is an attempt at painting as many bikesheds as possible with a typeclass hierarchy for idris reflecting "Algebra"
  ☆18Updated 6 years ago