uqbar-taller-de-lenguajes / taller-2017
β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
- LambdaClass statistics, machine learning and data science etudesβ12Updated last year
- howistart.org the hakyll versionβ8Updated 5 years ago
- πβ¨ Rescue: better errors through types (a more type directed MonadThrow/MonadCatch)β20Updated 3 years ago
- very important emojisβ14Updated 2 years ago
- A Gleam Library for adding colours in Terminalβ11Updated last year
- Manage one or more PubSub instances using the Elixir registryβ19Updated last year
- Logic programming with Β΅Kanrenβ11Updated 4 years ago
- Easy, Fast and Type-Safe Web Application Frameworkβ32Updated 4 years ago
- A parser combinator library in Gleam, heavily inspired by elm-parserβ11Updated 4 years ago
- A statically-typed lisp for the BEAMβ11Updated 3 years ago
- Lightweight Ethereum Key Manager & RPC Client in Elixirβ16Updated this week
- Implementation of an intersection type systems in Elixir. This was a prototype that was never completed nor released.β10Updated 4 years ago
- Code samples inspiring language designβ24Updated 9 years ago
- β14Updated last year
- My attempt to better understand both Coq and Category Theory by formalizing the latter in the former.β14Updated 5 years ago
- Universal, Multi Language, Multi Paradigm code analyzerβ124Updated last year
- Idris backend targeting Elixir (Work in progress)β18Updated 8 years ago
- β32Updated last year
- Blockchain Technology for the Working Mathematicianβ24Updated 7 years ago
- Wide World of Actors, or, Can I Have an Erlang Pony?β13Updated 7 years ago
- Compact Sparse Merkle Trees (CSMT) with pluggable storage.β38Updated 6 years ago
- A compiler for a little statically-typed language implemented in Haskell.β13Updated 6 years ago
- A lightweight erlang runtimeβ21Updated 4 years ago
- jsone bindings for the Gleam languageβ18Updated 2 years ago
- π§° Build Gleam code with rebar3β15Updated 3 years ago
- A Mix plugin to use Caramelβ16Updated 3 years ago
- A simple parser combinator package written in Gleam.β17Updated 3 years ago
- JavaScript support is built into the Gleam build tool, so this is no longer needed!β25Updated 2 years ago
- Elliptic curve library secp256k1 wrapper for Ocamlβ24Updated last year
- Sandboxable Mix (Elixir) project Nix evaluatorβ16Updated 4 months ago