uqbar-taller-de-lenguajes / taller-2017

Related projects ⓘ

Alternatives and complementary repositories for taller-2017

• howistart / howistart-hakyll
  howistart.org the hakyll version
  ☆8Updated 5 years ago
• hayesgm / signet
  Lightweight Ethereum Key Manager & RPC Client in Elixir
  ☆14Updated this week
• 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
• lambdaclass / elephant_in_the_room
  Simple wordpress replacement coded in Elixir + Phoenix + Ecto + PostgreSQL + Docker
  ☆10Updated 6 years ago
• Willyboar / colours
  A Gleam Library for adding colours in Terminal
  ☆10Updated 9 months ago
• expede / rescue
  🚒✨ Rescue: better errors through types (a more type directed MonadThrow/MonadCatch)
  ☆20Updated 2 years ago
• facundoolano / emojis
  very important emojis
  ☆14Updated last year
• Arkham / gleam_parser
  A parser combinator library in Gleam, heavily inspired by elm-parser
  ☆11Updated 3 years ago
• purerl / purescript-erl-cowboy
  Bindings to Cowboy server
  ☆12Updated 11 months ago
• QuinnWilton / gleam_logic
  Logic programming with µKanren
  ☆11Updated 3 years ago
• thaterikperson / erie
  A statically-typed lisp for the BEAM
  ☆11Updated 3 years ago
• gleam-lang / hexpm-rust
  ⚗️ A Rust client for the Hex package manager
  ☆21Updated 4 months ago
• ZanjeerPlatform / csmt
  Compact Sparse Merkle Trees (CSMT) with pluggable storage.
  ☆38Updated 5 years ago
• michallepicki / suber
  Algebraic Subtyping typechecking algorithms implemented in Erlang
  ☆11Updated 3 years ago
• midas-framework / erlang_library_runtime
  A lightweight erlang runtime
  ☆21Updated 3 years ago
• rjdellecese / gleam_jsone
  jsone bindings for the Gleam language
  ☆18Updated last year
• hayleigh-dot-dev / gleam-string-parser
  A simple parser combinator package written in Gleam.
  ☆17Updated 2 years ago
• exthereum / libsecp256k1
  Erlang NIF bindings for libsecp256k1 ECDSA library
  ☆8Updated last year
• exthereum / merkle_patricia_tree
  Elixir implementation of modified Merkle Patricia tree (trie)
  ☆24Updated 5 years ago
• expede / quick_chat
  A quick demo CLI chat app for a workshop
  ☆23Updated 6 years ago
• lepoetemaudit / alpaca-repl
  An experimental interactive shell for Alpaca, the ML language that runs on the Erlang VM
  ☆9Updated 7 years ago
• midas-framework / elixir_with_gleam
  Running Gleam in a mix project.
  ☆33Updated 4 years ago
• QuinnWilton / strucord
  Allows for easy interop with Erlang records.
  ☆26Updated last year
• id3as / purescript-erl-pinto
  An opinionated OTP framework wrapper
  ☆26Updated 4 months ago
• elmer-compiler / elmer_compiler
  Elmer compiler
  ☆12Updated 8 years ago
• jmitchell / idris-elixir
  Idris backend targeting Elixir (Work in progress)
  ☆18Updated 7 years ago
• fluffynukeit / scbt
  Implementation of "Sound and Complete Bidirectional Typechecking..." by Dunfield and Krishnaswami, POPL 2019
  ☆11Updated 4 years ago
• AbstractMachinesLab / mix_caramel
  A Mix plugin to use Caramel
  ☆16Updated 3 years ago
• lpil / total
  Basic exhaustiveness checking of unions in Elixir
  ☆16Updated 5 years ago
• aeternity / aesophia
  Stand alone compiler for the Sophia smart contract language
  ☆52Updated this week