Alternatives and similar repositories for taller-2017:

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

• howistart / howistart-hakyll
  howistart.org the hakyll version
  ☆8Updated 5 years ago
• expede / rescue
  🚒✨ Rescue: better errors through types (a more type directed MonadThrow/MonadCatch)
  ☆20Updated 2 years ago
• facundoolano / emojis
  very important emojis
  ☆14Updated 2 years ago
• shin-sakata / Citrous
  Easy, Fast and Type-Safe Web Application Framework
  ☆32Updated 4 years ago
• lambdaclass / elephant_in_the_room
  Simple wordpress replacement coded in Elixir + Phoenix + Ecto + PostgreSQL + Docker
  ☆10Updated 6 years ago
• hayesgm / signet
  Lightweight Ethereum Key Manager & RPC Client in Elixir
  ☆15Updated last month
• digama0 / frat
  DRAT proof processor
  ☆13Updated last year
• Willyboar / colours
  A Gleam Library for adding colours in Terminal
  ☆10Updated 11 months ago
• QuinnWilton / gleam_logic
  Logic programming with µKanren
  ☆12Updated 4 years ago
• rupurt / schoolbus
  Manage one or more PubSub instances using the Elixir registry
  ☆18Updated last year
• CoqHott / coq-forcing
  A plugin for Coq that implements the call-by-name forcing translation
  ☆12Updated 3 years ago
• jkoppel / thermometer-continuations
  Examples from our paper "Capturing the Future by Replaying the Past"
  ☆21Updated 4 months ago
• AbstractMachinesLab / mix_caramel
  A Mix plugin to use Caramel
  ☆16Updated 3 years ago
• Arkham / gleam_parser
  A parser combinator library in Gleam, heavily inspired by elm-parser
  ☆11Updated 3 years ago
• jchavarri / bs-bn.js
  BuckleScript bindings for bn.js
  ☆11Updated 7 years ago
• LaurentMazare / ocaml-wasmtime
  OCaml WebAssembly runtime powered by Wasmtime
  ☆34Updated 2 years ago
• mratsim / haskell-numbertheory
  Exploration of primes, factorization and number theory through haskell
  ☆10Updated 8 years ago
• jmitchell / idris-elixir
  Idris backend targeting Elixir (Work in progress)
  ☆18Updated 7 years ago
• Hirevo / koak
  A compiler for a little statically-typed language implemented in Haskell.
  ☆13Updated 5 years ago
• statebox / bcfwm
  Blockchain Technology for the Working Mathematician
  ☆24Updated 7 years ago
• mariaschett / syrup-backend
  backend of syrup: SYnthesizeR of sUPer-optimized smart contracts
  ☆14Updated 4 years ago
• michallepicki / suber
  Algebraic Subtyping typechecking algorithms implemented in Erlang
  ☆11Updated 3 years ago
• smorimoto / coq-to-ocaml-to-js
  Proof of concept to generate safe and fast JavaScript
  ☆24Updated 2 years ago
• JoeyEremondi / lambda-pi-constraint
  ☆16Updated 6 years ago
• philass / HarkDB
  Multi-backend GPU query engine written with Futhark
  ☆18Updated 2 years ago
• eviefp / logic-in-haskell
  Classical Logic in Haskell
  ☆23Updated last year
• anoma / research
  Early-stage research related to the Anoma protocols.
  ☆23Updated last year
• rjdellecese / gleam_jsone
  jsone bindings for the Gleam language
  ☆18Updated 2 years ago