Alternatives and similar repositories for programming-with-types

Users that are interested in programming-with-types are comparing it to the libraries listed below

• g-plane / type-gymnastics
  Collection of wonderful TypeScript type gymnastics code snippets.
  ☆381Updated last year
• apachecn / sicp-js-zh
  【译】NUS CS1101s SICP JavaScript 描述
  ☆168Updated 2 years ago
• oxc-project / javascript-parser-in-rust
  Tutorial on writing a JavaScript Parser in Rust
  ☆500Updated last year
• suica / write-you-a-typescript
  ☆89Updated 2 years ago
• fe-fantasy / gui-engineering-101
  🔨 Introduction to GUI engineering skills for Web developers.
  ☆37Updated 4 years ago
• seognil / learn-by-doing
  learn developing, methodology, tool, framework
  ☆30Updated 4 years ago
• Reaper622 / DataStructure-Algorithm-TS
  ⛩数据结构和算法解析 | LeetCode 解题 | 剑指 Offer 面试题集
  ☆62Updated 2 years ago
• linbudu599 / Typings
  知乎/掘金专栏：TypeScript的另一面：类型编程 Demo 集
  ☆15Updated 2 years ago
• OverWatcherX / javascript-interpreter
  不懂编译也能造JavaScript解释器 —— 手把手教你造 JavaScript 解释器
  ☆169Updated 3 years ago
• hardfist / ssr-learn
  ☆19Updated 3 years ago
• xieyuheng / ty
  Validate untyped data and return well typed result.
  ☆21Updated last year
• bytebase / interview
  Take-home interview assignment used in our interview process
  ☆97Updated 3 years ago
• ghaiklor / type-challenges-solutions
  Solutions for the collection of TypeScript type challenges with explanations
  ☆484Updated 6 months ago
• antsmartian / functional-es8
  Contains code and snippets for Functional Programming in Javascript.
  ☆91Updated 4 years ago
• TimothyGu / es-howto
  How to read the ECMAScript specification (ECMA-262)
  ☆250Updated last year
• ies-fe-sh / hire
  Working with intelligent people.
  ☆55Updated 5 years ago
• source-academy / sicp
  XML sources of SICP and SICP JS, and support for generating Interactive SICP JS, PDF, e-book and comparison editions
  ☆989Updated last week
• aimingoo / js-green-book-3
  本书基于ES6，并涵盖最新的ECMAScript 2019规范，全面讲述JavaScript在五个方面的语言特性，以及将这些特性融会如一的方法。
  ☆125Updated 3 years ago
• PacktPublishing / Advanced-TypeScript-3-Programming-Projects
  Advanced TypeScript 3 Programming Projects, published by Packt
  ☆222Updated 2 years ago
• CnTransGroup / programming_language_pragmatics_4th
  PLP（编程语言语用论（第4版）） 翻译
  ☆29Updated 2 years ago
• bramblex / jsjs-answer
  《前端也要会的编译原理之用 JavaScript 写一个 JavaScript 解释器》大作业参考答案
  ☆30Updated 3 years ago
• Lucifier129 / coproduct
  A small library aims to improve better tagged-unions/discriminated-unions supporting for TypeScript
  ☆30Updated 3 years ago
• thaddeusjiang-demo / react-assignments
  Not recommended. Too simple for the AI Coding Agents
  ☆61Updated 3 years ago
• microsoft / TypeScript-Compiler-Notes
  A repo containing notes about the TypeScript Compiler codebase
  ☆690Updated 2 years ago
• tomstuart / computationbook
  Example code for Understanding Computation
  ☆505Updated 10 years ago
• harttle / contest.js
  Ready for contest use! Data structures and algorithms in pure JavaScript with zero dependency.
  ☆40Updated last month
• web-infra-dev / reduck
  A Redux-based state management library
  ☆82Updated 10 months ago
• theanarkh / No.js
  No.js：基于V8和io_uring的JS运行时，只支持Linux5.5及以上
  ☆55Updated 2 years ago
• telecss / telecss
  WIP: CSS tokenizer, parser, transformer, minifier, written in Rust.
  ☆200Updated 3 years ago
• datum-lang / datum
  A easy maintain(read/write) language for transform from/to other languages. 下一代企业级编程语言。
  ☆140Updated 3 years ago