Alternatives and similar repositories for taller-2017

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

• lambdaclass / rex
  Useful tools for developing on Ethereum powered by Ethrex
  ☆15Updated this week
• lambdaclass / data_etudes
  LambdaClass statistics, machine learning and data science etudes
  ☆12Updated last year
• facundoolano / emojis
  very important emojis
  ☆14Updated 2 years ago
• howistart / howistart-hakyll
  howistart.org the hakyll version
  ☆8Updated 6 years ago
• expede / rescue
  🚒✨ Rescue: better errors through types (a more type directed MonadThrow/MonadCatch)
  ☆20Updated 3 years ago
• jmitchell / idris-elixir
  Idris backend targeting Elixir (Work in progress)
  ☆18Updated 8 years ago
• QuinnWilton / gleam_logic
  Logic programming with µKanren
  ☆11Updated 4 years ago
• celsobonutti / xipe-oito
  Chip8 engine emulator written in Rust, with both desktop (multiplatform) and WASM front-ends.
  ☆9Updated 4 years ago
• Willyboar / colours
  A Gleam Library for adding colours in Terminal
  ☆11Updated last year
• josevalim / nested-map-reduce-traversal
  ☆32Updated last year
• formal-land / coq-of-ts
  Formal verification for TypeScript
  ☆20Updated 2 years ago
• Arkham / gleam_parser
  A parser combinator library in Gleam, heavily inspired by elm-parser
  ☆11Updated 4 years ago
• shin-sakata / Citrous
  Easy, Fast and Type-Safe Web Application Framework
  ☆32Updated 5 years ago
• rupurt / schoolbus
  Manage one or more PubSub instances using the Elixir registry
  ☆19Updated 2 years ago
• dakk / secp256k1-ml
  Elliptic curve library secp256k1 wrapper for Ocaml
  ☆24Updated last year
• josevalim / intersection_types
  Implementation of an intersection type systems in Elixir. This was a prototype that was never completed nor released.
  ☆10Updated 4 years ago
• relrod / ct
  My attempt to better understand both Coq and Category Theory by formalizing the latter in the former.
  ☆14Updated 5 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
• ZanjeerPlatform / csmt
  Compact Sparse Merkle Trees (CSMT) with pluggable storage.
  ☆38Updated 6 years ago
• sunblaze-ucb / coq-smart-contract
  ☆28Updated 8 years ago
• ninjarab / stk
  Stk is a free, real time stock quotes, charts and market overview.
  ☆17Updated 6 years ago
• dmurfet / polysemantics
  Polynomial semantics of linear logic
  ☆13Updated 7 years ago
• purerl / purescript-erl-cowboy
  Bindings to Cowboy server
  ☆12Updated last year
• rjdellecese / gleam_jsone
  jsone bindings for the Gleam language
  ☆18Updated 2 years ago
• SimonJF / monitored-session-erlang
  Supervised Session Actors
  ☆22Updated 9 years ago
• starkbank / sdk-elixir
  SDK to facilitate Elixir integrations with the Stark Bank API
  ☆14Updated 11 months ago
• DanGrayson / Ktheory
  formalization of theorems of higher algebraic K-theory
  ☆8Updated 11 years ago
• smorimoto / coq-to-ocaml-to-js
  Proof of concept to generate safe and fast JavaScript
  ☆24Updated 2 years ago
• CoqHott / coq-forcing
  A plugin for Coq that implements the call-by-name forcing translation
  ☆13Updated 4 years ago
• psibi / sysinfo
  Haskell Interface for getting overall system statistics
  ☆16Updated 6 years ago