wdamron/poly 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

wdamron/poly

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/wdamron/poly)

Close

wdamron / polyView on GitHubMore

• External links
• Readme badge

Hindley-Milner type system with extensible records and variants, implemented in Go

☆22Nov 21, 2020Updated 5 years ago

Alternatives and similar repositories for poly

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

• chewxy / hm

  View on GitHub
  a simple Hindley-Milner type system in Go
  ☆65Mar 8, 2018Updated 8 years ago
• cdiggins / type-inference

  View on GitHub
  Type Inference Library written in TypeScript
  ☆93May 7, 2023Updated 2 years ago
• d4l3k / wikigopher

  View on GitHub
  Wikipedia DB Dump Server + wikitext parser in Go/Golang
  ☆14Jun 25, 2019Updated 6 years ago
• pnwamk / sst-tutorial

  View on GitHub
  ☆18Nov 23, 2021Updated 4 years ago
• FujiNetWIFI / servers

  View on GitHub
  Source to servers for games and apps that work with FujiNet
  ☆10Dec 31, 2025Updated 2 months ago
• wez / telnetjs

  View on GitHub
  A Telnet protocol listener for Node.js
  ☆22Dec 5, 2014Updated 11 years ago
• tiluser / Creole-Forth-For-Excel

  View on GitHub
  Forth in a spreadsheet
  ☆14Jun 14, 2020Updated 5 years ago
• thelilylang / lily

  View on GitHub
  The Lily programming language ⚜
  ☆10Jan 4, 2026Updated 2 months ago
• CodeWithShreyans / upstash-kv

  View on GitHub
  Simple Upstash Redis client based on @vercel/kv
  ☆11Oct 21, 2024Updated last year
• zspecza / system

  View on GitHub
  A component system syntax for CSS
  ☆11Nov 9, 2016Updated 9 years ago
• iu0v1 / daslog

  View on GitHub
  Go (golang) simple logger package.
  ☆13Sep 21, 2017Updated 8 years ago
• endgame / MudCore

  View on GitHub
  A simple, lua-scripted MUD server.
  ☆36Jan 5, 2019Updated 7 years ago
• tomjridge / tjr_kv

  View on GitHub
  A key-value store for OCaml
  ☆17Feb 1, 2022Updated 4 years ago
• Fuechs / Lynx

  View on GitHub
  C-like programming language
  ☆10Jul 18, 2025Updated 8 months ago
• geovanisouza92 / geo

  View on GitHub
  Geo programming language based on https://interpreterbook.com/
  ☆14Jan 2, 2019Updated 7 years ago
• ayberkt / Mini-TT

  View on GitHub
  A tiny implementation of dependent types.
  ☆11Oct 24, 2017Updated 8 years ago
• mudcoders / guildmud

  View on GitHub
  A SocketMUD-based Multi-User Dungeon built and managed by the members of The MUD Coders Guild.
  ☆24May 14, 2018Updated 7 years ago
• eshelyaron / debug_adapter

  View on GitHub
  Debug Adapter Protocol (DAP) implementation for SWI-Prolog
  ☆22Mar 28, 2022Updated 3 years ago
• AlexanderChen1989 / tea

  View on GitHub
  The Elm Architecture in Go
  ☆13Oct 17, 2016Updated 9 years ago
• momohatt / min-caml-jvm

  View on GitHub
  A tiny OCaml compiler with JVM backend 🐫☕️
  ☆11Mar 12, 2019Updated 7 years ago
• videogamepreservation / txtelite

  View on GitHub
  Text Elite is a C implementation of the classic Elite trading system in a text adventure style shell.
  ☆30Jul 28, 2018Updated 7 years ago
• nicopap / elm-eureka

  View on GitHub
  Elm eureka is a rust library for parsing elm projects and elm code.
  ☆10May 6, 2018Updated 7 years ago
• google / badwolf-drivers

  View on GitHub
  ☆22May 12, 2025Updated 10 months ago
• BookOwl / type-inference

  View on GitHub
  Hindley Milner Type Inference in Rust
  ☆12Oct 4, 2017Updated 8 years ago
• xran-deex / ats-http

  View on GitHub
  An epoll-based HTTP library for ATS2
  ☆14Dec 27, 2022Updated 3 years ago
• Lupus / ccl

  View on GitHub
  [unofficial mirror] C Container Library https://github.com/jacob-navia/ccl
  ☆17Sep 4, 2013Updated 12 years ago
• ericgj / adt.py

  View on GitHub
  Tagged union types and immutable records (product types) in Python
  ☆11Jun 5, 2017Updated 8 years ago
• cugu / kaitaigo

  View on GitHub
  kaitaigo is a compiler and runtime to create Go parsers from Kaitai Struct files
  ☆18Apr 20, 2022Updated 3 years ago
• s3cur3 / llvm-data-structure-benchmarks

  View on GitHub
  A benchmark for cache efficient data structures.
  ☆32Jul 28, 2025Updated 7 months ago
• brettkolodny / glow

  View on GitHub
  A fullstack "framework" for Gleam
  ☆13Feb 13, 2023Updated 3 years ago
• polytypic / f-omega-mu

  View on GitHub
  Fωμ type checker and compiler
  ☆56Jan 28, 2023Updated 3 years ago
• nukata / lisp-in-go

  View on GitHub
  A Common Lisp-like Lisp-1 in Go with TCO and partially hygienic macros
  ☆37Oct 28, 2019Updated 6 years ago
• christian-public / typedtext.io

  View on GitHub
  ☆10Sep 28, 2020Updated 5 years ago
• pkelchte / tiny-lisp

  View on GitHub
  Lisp interpreter in Go by the guys at OKI ESC http://www.oki-osk.jp/esc/golang/lisp.html
  ☆14Dec 17, 2013Updated 12 years ago
• chrysante / scatha

  View on GitHub
  Personal toy-compiler project
  ☆14May 8, 2025Updated 10 months ago
• pylls / balloon

  View on GitHub
  A forward-secure append-only persistent authenticated data structure
  ☆16Jul 5, 2016Updated 9 years ago
• AjayMT / golsp

  View on GitHub
  The Golsp programming language.
  ☆32Feb 13, 2019Updated 7 years ago
• dgryski / go-mpchash

  View on GitHub
  Multi-probe consistent hashing
  ☆42Aug 19, 2020Updated 5 years ago
• defgenx / glog

  View on GitHub
  A Gleam implementation of Erlang logger inspired from Logrus
  ☆11Apr 12, 2024Updated last year