Alternatives and similar repositories for programming-with-types

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

• apachecn / sicp-js-zh
  【译】NUS CS1101s SICP JavaScript 描述
  ☆164Updated 2 years ago
• g-plane / type-gymnastics
  Collection of wonderful TypeScript type gymnastics code snippets.
  ☆380Updated 9 months ago
• suica / write-you-a-typescript
  ☆87Updated last year
• oxc-project / javascript-parser-in-rust
  Tutorial on writing a JavaScript Parser in Rust
  ☆500Updated last year
• fe-fantasy / gui-engineering-101
  🔨 Introduction to GUI engineering skills for Web developers.
  ☆37Updated 4 years ago
• OverWatcherX / javascript-interpreter
  不懂编译也能造JavaScript解释器 —— 手把手教你造 JavaScript 解释器
  ☆169Updated 2 years ago
• CnTransGroup / programming_language_pragmatics_4th
  PLP（编程语言语用论（第4版）） 翻译
  ☆29Updated 2 years ago
• PacktPublishing / Advanced-TypeScript-3-Programming-Projects
  Advanced TypeScript 3 Programming Projects, published by Packt
  ☆222Updated 2 years ago
• douglascrockford / howjavascriptworks
  Programs from the book _How JavaScript Works_
  ☆326Updated 2 years ago
• ies-fe-sh / hire
  Working with intelligent people.
  ☆55Updated 4 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
  ☆965Updated 2 weeks ago
• hardfist / ssr-learn
  ☆19Updated 3 years ago
• xieyuheng / ty
  Validate untyped data and return well typed result.
  ☆22Updated 10 months ago
• datum-lang / datum
  A easy maintain(read/write) language for transform from/to other languages. 下一代企业级编程语言。
  ☆140Updated 3 years ago
• humanwhocodes / pledge
  A custom promise implementation for JavaScript
  ☆90Updated 3 years ago
• antsmartian / functional-es8
  Contains code and snippets for Functional Programming in Javascript.
  ☆91Updated 4 years ago
• Lucifier129 / coproduct
  A small library aims to improve better tagged-unions/discriminated-unions supporting for TypeScript
  ☆30Updated 3 years ago
• TimothyGu / es-howto
  How to read the ECMAScript specification (ECMA-262)
  ☆247Updated last year
• sokra / webpack-meetup-2018-05
  Application for the meetup talk
  ☆56Updated 7 years ago
• Huxpro / dotfiles
  Well, dotfiles.
  ☆18Updated 10 months ago
• remesh-js / remesh
  A CQRS-based DDD framework for large and complex TypeScript/JavaScript applications
  ☆716Updated 9 months ago
• aimingoo / js-green-book-3
  本书基于ES6，并涵盖最新的ECMAScript 2019规范，全面讲述JavaScript在五个方面的语言特性，以及将这些特性融会如一的方法。
  ☆125Updated 3 years ago
• linbudu599 / Typings
  知乎/掘金专栏：TypeScript的另一面：类型编程 Demo 集
  ☆15Updated 2 years ago
• chinese-chess-everywhere / type-chess
  一个玩具，用 TypeScript 类型系统写的中国象棋
  ☆816Updated 2 years ago
• microsoft / TypeScript-Compiler-Notes
  A repo containing notes about the TypeScript Compiler codebase
  ☆683Updated 2 years ago
• hsiaosiyuan0 / slowjs
  Learning the awesome QuickJS
  ☆75Updated last year
• ThaddeusJiang / react-assignments
  Help us confirm the candidate's React and JavaScript skills
  ☆61Updated 2 years ago
• tranbathanhtung / react-fiber-implement
  re-implement react fiber
  ☆579Updated 6 years ago
• sigi-framework / sigi
  Well designed effect management framework for complex frontend app
  ☆211Updated last week
• PacktPublishing / Deno-Web-Development
  Deno Web Development, published by Packt
  ☆34Updated 2 years ago