nachivpn/mt external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

nachivpn/mt

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/nachivpn/mt)

Close

nachivpn / mtView on GitHubMore

• External links
• Readme badge

Master thesis on developing a static type checker for Erlang

☆27Sep 30, 2018Updated 7 years ago

Alternatives and similar repositories for mt

Users that are interested in mt are comparing it to the libraries listed below

• vrnithinkumar / ETC

  View on GitHub
  ETC
  ☆15Aug 27, 2021Updated 4 years ago
• midas-framework / erlang_library_runtime

  View on GitHub
  A lightweight erlang runtime
  ☆21Feb 13, 2021Updated 5 years ago
• SimonJF / monitored-session-erlang

  View on GitHub
  Supervised Session Actors
  ☆22Jul 6, 2016Updated 9 years ago
• sto0pkid / swipl-tt

  View on GitHub
  Implementation of dependent type theory in SWI-Prolog
  ☆10Oct 6, 2020Updated 5 years ago
• sile / erl_parse

  View on GitHub
  Erlang source code parser written in Rust
  ☆10Oct 15, 2021Updated 4 years ago
• hauleth / logger_colorful

  View on GitHub
  Simple Erlang's logger's formatters wrapper that adds colours to the messages
  ☆15Aug 11, 2020Updated 5 years ago
• danielwhite / cowboy_cors

  View on GitHub
  Cowboy middleware supporting Cross-Origin Resource Sharing (CORS)
  ☆13Dec 27, 2016Updated 9 years ago
• rbkmoney / genlib

  View on GitHub
  Things long time missing from stdlib
  ☆11Sep 27, 2021Updated 4 years ago
• michaelpj / abstract-machine-debuggers

  View on GitHub
  ☆12Feb 11, 2019Updated 7 years ago
• yandex / erater

  View on GitHub
  Generic embedded distributed request rate limiting service for erlang applications
  ☆10Mar 7, 2016Updated 9 years ago
• klarna-incubator / glass

  View on GitHub
  A semantic search tool for Erlang that supports large code-bases.
  ☆49May 5, 2025Updated 9 months ago
• anuragsoni / poll

  View on GitHub
  Portable OCaml interface to macOS/Linux/Windows native IO event notification mechanisms
  ☆30Jul 2, 2023Updated 2 years ago
• schnef / hkdf

  View on GitHub
  Erlang HMAC-based Extract-and-Expand Key Derivation Function (HKDF)
  ☆12Dec 2, 2021Updated 4 years ago
• zinid / ocaml-erlang

  View on GitHub
  Implementation of some Erlang primitives in OCaml
  ☆11Jun 16, 2017Updated 8 years ago
• studzien / bgi

  View on GitHub
  BEAM guts inspector
  ☆11Nov 19, 2014Updated 11 years ago
• joaohf / OTP-PlantUML

  View on GitHub
  OTP diagrams using PlantUML
  ☆12Nov 28, 2019Updated 6 years ago
• dhil / pthandlers

  View on GitHub
  an encoding of affine effect handlers using pthreads
  ☆14Nov 15, 2022Updated 3 years ago
• sajattack / discourse-tui

  View on GitHub
  Terminal UI for Discourse forums
  ☆14Mar 25, 2019Updated 6 years ago
• yandex / minishard

  View on GitHub
  Lightweight sharding for distributed erlang applications
  ☆12Mar 1, 2016Updated 9 years ago
• JensNevens / Prolog-Scheduling-Problem

  View on GitHub
  A Scheduling Problem in Prolog
  ☆13Feb 3, 2016Updated 10 years ago
• klarna-incubator / kache

  View on GitHub
  A generic, in-memory caching application based on ETS.
  ☆32May 5, 2025Updated 9 months ago
• eirproject / whirl

  View on GitHub
  WebAssembly compiler and runtime for BEAM languages
  ☆33Apr 24, 2019Updated 6 years ago
• carlosgaldino / concha

  View on GitHub
  A consistent hashing library in Erlang.
  ☆32Sep 2, 2016Updated 9 years ago
• ErlyORM / aleppo

  View on GitHub
  Alternative Erlang Pre-Processor
  ☆47Jan 16, 2021Updated 5 years ago
• flussonic / dtls

  View on GitHub
  ☆14Oct 11, 2016Updated 9 years ago
• gleam-lang / rebar_gleam

  View on GitHub
  🧰 Build Gleam code with rebar3
  ☆16Oct 11, 2021Updated 4 years ago
• JimmyZJX / TypingFormalization

  View on GitHub
  ☆15Jun 26, 2019Updated 6 years ago
• jkrukoff / pipe

  View on GitHub
  An Erlang/OTP library for error aware chaining of function application.
  ☆14Mar 23, 2019Updated 6 years ago
• poroh / erl_lru

  View on GitHub
  Erlang LRU cache
  ☆12Mar 8, 2019Updated 6 years ago
• klarna / vnet

  View on GitHub
  A model of a distributed Erlang network within a single VM.
  ☆14Mar 21, 2023Updated 2 years ago
• bbalser / brook

  View on GitHub
  ☆16Jun 8, 2020Updated 5 years ago
• 1ma / branca-erl

  View on GitHub
  An Erlang implementation of the Branca specification for authenticated and encrypted tokens
  ☆12Dec 26, 2020Updated 5 years ago
• patricoferris / riscv-o-spec

  View on GitHub
  An OCaml extension for RISC-V
  ☆16Nov 6, 2020Updated 5 years ago
• gpad / no_slides

  View on GitHub
  Example application for http://www.noslidesconf.net/
  ☆16Jul 11, 2018Updated 7 years ago
• ucsd-progsys / liquid-types-spacemacs

  View on GitHub
  Spacemacs Layer for LiquidHaskell
  ☆13Jun 10, 2017Updated 8 years ago
• synrc / ca

  View on GitHub
  🛡️ CA: Certificate Authority. ДСТУ: 4145. ITU/IETF: 3279, 5755, 7030, X.509.
  ☆20Feb 13, 2026Updated 2 weeks ago
• patricoferris / ni-forests

  View on GitHub
  A little project exploring Forests in Northern Ireland
  ☆16Apr 21, 2022Updated 3 years ago
• samskivert / compose

  View on GitHub
  An experimental programming language.
  ☆19May 16, 2019Updated 6 years ago
• shantiii / fds

  View on GitHub
  Functional Data Structures in Erlang and Elixir
  ☆13Mar 25, 2021Updated 4 years ago