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
• JimmyZJX / TypingFormalization

  View on GitHub
  ☆15Jun 26, 2019Updated 6 years ago
• midas-framework / erlang_library_runtime

  View on GitHub
  A lightweight erlang runtime
  ☆21Feb 13, 2021Updated 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
• dhil / pthandlers

  View on GitHub
  an encoding of affine effect handlers using pthreads
  ☆14Nov 15, 2022Updated 3 years ago
• Rewbert / quickcheck

  View on GitHub
  Automatic testing of Haskell programs.
  ☆13Jun 10, 2025Updated 9 months ago
• klarna-incubator / glass

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

  View on GitHub
  ☆11May 12, 2025Updated 10 months ago
• haflang / heron

  View on GitHub
  A special-purpose processor for pure, non-strict functional languages
  ☆31Feb 17, 2026Updated last month
• zinid / ocaml-erlang

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

  View on GitHub
  Generic embedded distributed request rate limiting service for erlang applications
  ☆10Mar 7, 2016Updated 10 years ago
• SimonJF / monitored-session-erlang

  View on GitHub
  Supervised Session Actors
  ☆22Jul 6, 2016Updated 9 years ago
• eirproject / whirl

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

  View on GitHub
  Lightweight sharding for distributed erlang applications
  ☆12Mar 1, 2016Updated 10 years ago
• hayleigh-dot-dev / gleam-string-parser

  View on GitHub
  A simple parser combinator package written in Gleam.
  ☆17Mar 1, 2022Updated 4 years ago
• michaelpj / abstract-machine-debuggers

  View on GitHub
  ☆12Feb 11, 2019Updated 7 years ago
• hcarty / ppx_defer

  View on GitHub
  OCaml extension for a Go-ish [%defer ...] syntax
  ☆16May 30, 2022Updated 3 years ago
• schnef / hkdf

  View on GitHub
  Erlang HMAC-based Extract-and-Expand Key Derivation Function (HKDF)
  ☆12Dec 2, 2021Updated 4 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
• jkrukoff / pipe

  View on GitHub
  An Erlang/OTP library for error aware chaining of function application.
  ☆14Mar 23, 2019Updated 6 years ago
• neel-krishnaswami / inverse-bidirectional-typechecking

  View on GitHub
  A Toy Inverse Bidirectional Typechecker
  ☆32May 13, 2019Updated 6 years ago
• gleam-lang / rebar_gleam

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

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

  View on GitHub
  MIRROR of https://codeberg.org/catseye/Philomath : An LCF-style theorem prover written in C89 (a.k.a ANSI C)
  ☆16Dec 19, 2023Updated 2 years ago
• klarna-incubator / kache

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

  View on GitHub
  Things long time missing from stdlib
  ☆11Sep 27, 2021Updated 4 years ago
• joaohf / OTP-PlantUML

  View on GitHub
  OTP diagrams using PlantUML
  ☆12Nov 28, 2019Updated 6 years ago
• trillioneyes / idris-pong

  View on GitHub
  A browser Pong game, taking advantage of Idris's ability to compile to javascript.
  ☆18Nov 20, 2014Updated 11 years ago
• gpad / no_slides

  View on GitHub
  Example application for http://www.noslidesconf.net/
  ☆16Jul 11, 2018Updated 7 years ago
• studzien / bgi

  View on GitHub
  BEAM guts inspector
  ☆11Nov 19, 2014Updated 11 years ago
• poroh / erl_lru

  View on GitHub
  Erlang LRU cache
  ☆12Mar 8, 2019Updated 7 years ago
• carlosgaldino / concha

  View on GitHub
  A consistent hashing library in Erlang.
  ☆32Sep 2, 2016Updated 9 years ago
• sto0pkid / swipl-tt

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

  View on GitHub
  🛡️ CA: Certificate Authority. ДСТУ: 4145. ITU/IETF: 3279, 5755, 7030, X.509.
  ☆20Mar 8, 2026Updated last week
• jlerche / phoenix_pubsub_lasp_pg

  View on GitHub
  A Lasp PG adapter for the Phoenix framework pubsub
  ☆18Apr 18, 2018Updated 7 years ago
• ucsd-progsys / liquid-types-spacemacs

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

  View on GitHub
  ☆14Oct 11, 2016Updated 9 years ago
• klarna / vnet

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