xieyuheng/ty 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

xieyuheng/ty

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/xieyuheng/ty)

Close

xieyuheng / tyView on GitHubMore

• External links
• Readme badge

Validate untyped data and return well typed result.

☆21Oct 26, 2024Updated 2 years ago

Alternatives and similar repositories for ty

Users that are interested in ty are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.

• lilydjwg / luoxu-web

  View on GitHub
  A web frontend for luoxu.
  ☆27Oct 26, 2026Updated last week
• xieyuheng / luoxu-search

  View on GitHub
  ☆22Dec 23, 2021Updated 4 years ago
• lilydjwg / smapview

  View on GitHub
  A simple program to view processes' swap/memory usage on Linux.
  ☆18Aug 28, 2025Updated last year
• xieyuheng / lambda-lisp.js

  View on GitHub
  An implementation of lambda calculus.
  ☆26Mar 18, 2026Updated 7 months ago
• xieyuheng / exo

  View on GitHub
  logic programming in elixir
  ☆10Nov 1, 2018Updated 8 years ago
• Serverless GPU API endpoints on Runpod - Get Bonus Credits • Ad
  Skip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
• ice1k / Theorems

  View on GitHub
  Theorems that rule this multiverse
  ☆11Oct 6, 2018Updated 8 years ago
• tu-ghgoso / epub2pdf

  View on GitHub
  EPUB to PDF converter using WebKitGtk
  ☆10Apr 4, 2015Updated 11 years ago
• namin / lambda-calculus

  View on GitHub
  ☆11Feb 16, 2026Updated 8 months ago
• abelosorio / how-to-become-a-senior-web-developer

  View on GitHub
  ☆10Nov 14, 2018Updated 7 years ago
• kyagrd / tiper

  View on GitHub
  Type Inference Prototyping Engine from Relational specifications of type systems
  ☆11Jun 24, 2020Updated 6 years ago
• illuz / Digital-Ocean-Tutorials-zh

  View on GitHub
  Digital Ocean Tutorials 上一些文章的翻译，主要为运维相关。https://www.digitalocean.com/community/tutorials
  ☆12Jun 6, 2016Updated 10 years ago
• rami3l / yascm

  View on GitHub
  Yet another Scheme interpreter.
  ☆11Sep 17, 2022Updated 4 years ago
• evanw / bundler-esm-cjs-tests

  View on GitHub
  ☆25Mar 15, 2022Updated 4 years ago
• SASUKE40 / pi-computer-use

  View on GitHub
  ☆13Aug 6, 2026Updated 3 months ago
• Deploy to Railway using AI coding agents - Free Credits Offer • Ad
  Use Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
• m-yac / agda-knots

  View on GitHub
  An experimental formalization of Knot Theory in Agda, with specific attention paid to Legendrian Knot Theory
  ☆15Oct 15, 2018Updated 8 years ago
• node-modules / buffer-type

  View on GitHub
  Detect content-type from Buffer data.
  ☆14Feb 7, 2026Updated 9 months ago
• Glavo / scala3-library-with-braces

  View on GitHub
  Scala 3 Standard Library with bracket syntax.
  ☆11Jul 10, 2021Updated 5 years ago
• UniMath / 2006_03_Homotopy_lambda_calculus

  View on GitHub
  Voevodsky's 2006 paper on homotopy lambda calculus
  ☆15Jan 11, 2015Updated 11 years ago
• ambar / fangyanzi

  View on GitHub
  汉语方言字 https://fangyanzi.vercel.app
  ☆27Nov 1, 2022Updated 4 years ago
• asonix / tokio-zmq

  View on GitHub
  A wrapper around ZeroMQ with Futures for use on Tokio's executors
  ☆11Sep 12, 2018Updated 8 years ago
• jfdm / velo-lang

  View on GitHub
  Velo is a tiny language (STLC + Hutton's Razor with Bools) to showcase & explore efficient verified implementations in Idris2.
  ☆16Apr 3, 2023Updated 3 years ago
• himself65 / books

  View on GitHub
  ☆14Jun 14, 2020Updated 6 years ago
• denoffi / deno_lua

  View on GitHub
  Lua bindings for Deno.
  ☆14Jun 12, 2022Updated 4 years ago
• Managed Database hosting by DigitalOcean • Ad
  PostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
• jysperm / nohttps.org

  View on GitHub
  Not Only HTTPS
  ☆10Apr 4, 2018Updated 8 years ago
• zonyitoo / GBKUnzip

  View on GitHub
  一个用于解压GBK zip的Python脚本
  ☆11Jan 4, 2013Updated 13 years ago
• deb-sig / bill-file-converter

  View on GitHub
  账单文件格式转换工具 - 将账单文件轻松转换为 CSV 格式
  ☆14Jun 1, 2026Updated 5 months ago
• mafintosh / thread-rpc

  View on GitHub
  Run RPC over a MessagePort object from a Worker thread (or WebWorker)
  ☆10Jan 6, 2022Updated 4 years ago
• theduke / slimjs

  View on GitHub
  ☆32Feb 25, 2021Updated 5 years ago
• developit / htmlParser

  View on GitHub
  Simple JavaScript HTML parser.
  ☆32Mar 10, 2015Updated 11 years ago
• vladimirias / old_notes_on_type_systems

  View on GitHub
  Voevodsky's notes on type systems. This version contains more material than the one on his website.
  ☆12Jun 15, 2014Updated 12 years ago
• xieyuheng / inet-forth

  View on GitHub
  An implementation of interaction nets as a forth-like language.
  ☆46Oct 26, 2026Updated last week
• cwoodall / cpp-serde-gen

  View on GitHub
  Generate Serialization Functions for C++ classes and structs using python and libclang
  ☆12Feb 24, 2018Updated 8 years ago
• Managed hosting for WordPress and PHP on Cloudways • Ad
  Managed hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
• bodinaren / stencil-constructible-style

  View on GitHub
  Dynamically add Constructable Stylesheets to your Stencil components.
  ☆10Jul 6, 2023Updated 3 years ago
• mitsuhiko / small-ctor

  View on GitHub
  Minimal, dependency free implementation of the ctor crate
  ☆17Aug 1, 2024Updated 2 years ago
• LearnPrologNow / lpn-swish-proxy

  View on GitHub
  SWI-Prolog rewriting proxy server that includes SWISH in Learn Prolog Now
  ☆13Mar 5, 2024Updated 2 years ago
• polymake / matchthenet

  View on GitHub
  MatchTheNet is a game about 3-dimensional polytopes for a single player
  ☆12Jan 30, 2026Updated 9 months ago
• GeraldWodni / f

  View on GitHub
  Forth package manager for theForthNet
  ☆14Apr 4, 2018Updated 8 years ago
• AndrasKovacs / implicit-fun-elaboration

  View on GitHub
  Implementation for ICFP 2020 paper
  ☆53Jul 5, 2021Updated 5 years ago
• xieyuheng / cat

  View on GitHub
  A categorical semantics library in Agda.
  ☆16Dec 22, 2019Updated 6 years ago