uqbar-taller-de-lenguajes / taller-2017Links
☆11Updated 7 years ago
Alternatives and similar repositories for taller-2017
Users that are interested in taller-2017 are comparing it to the libraries listed below
Sorting:
- LambdaClass statistics, machine learning and data science etudes☆12Updated last year
- very important emojis☆14Updated 2 years ago
- A Gleam Library for adding colours in Terminal☆11Updated last year
- A parser combinator library in Gleam, heavily inspired by elm-parser☆11Updated 4 years ago
- howistart.org the hakyll version☆8Updated 6 years ago
- Compact Sparse Merkle Trees (CSMT) with pluggable storage.☆38Updated 6 years ago
- Logic programming with µKanren☆11Updated 4 years ago
- 🚒✨ Rescue: better errors through types (a more type directed MonadThrow/MonadCatch)☆20Updated 3 years ago
- Manage one or more PubSub instances using the Elixir registry☆19Updated 2 years ago
- Useful tools for developing on Ethereum powered by Ethrex☆15Updated this week
- A statically-typed lisp for the BEAM☆11Updated 3 years ago
- ⚗️ A Rust client for the Hex package manager☆24Updated 3 weeks ago
- A lightweight erlang runtime☆21Updated 4 years ago
- Coq formalization of timing-sensitive noninterference for a garbage collected language with heap and runtime pc level.☆9Updated 5 years ago
- A build system from the future 🖖☆22Updated 2 years ago
- Lexing, parsing, pretty-printing, and metaprogramming facilities for dealing with GraphQL schemas and queries☆21Updated 6 months ago
- WebAssembly compiler and runtime for BEAM languages☆32Updated 6 years ago
- Lightweight Ethereum Key Manager & RPC Client in Elixir☆16Updated last week
- A simple parser combinator package written in Gleam.☆17Updated 3 years ago
- Misc Erlang Tools☆11Updated last year
- Ring Erlang exercise implemented in several languages☆15Updated 3 years ago
- docker build with support for bind mounts at build time via Docker Remote API☆24Updated 3 years ago
- Universal, Multi Language, Multi Paradigm code analyzer☆128Updated last year
- A compiler for a little statically-typed language implemented in Haskell.☆13Updated 6 years ago
- Easy, Fast and Type-Safe Web Application Framework☆32Updated 5 years ago
- Loquat: A System for Large-Scale Actor Programming☆11Updated 8 years ago
- Multi-backend GPU query engine written with Futhark☆18Updated 3 years ago
- A StatsD (plus Datadog tag additions) client for Erlang☆12Updated last year
- Simple Erlang's logger's formatters wrapper that adds colours to the messages☆15Updated 4 years ago
- A conference by devs for devs. Functional Programming, Distributed Systems, Big Data and Machine Learning Conference in Buenos Aires, Arg…☆35Updated 4 years ago