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 描述
  ☆168Updated 2 years ago
• g-plane / type-gymnastics
  Collection of wonderful TypeScript type gymnastics code snippets.
  ☆381Updated last year
• oxc-project / javascript-parser-in-rust
  Tutorial on writing a JavaScript Parser in Rust
  ☆501Updated last year
• hardfist / ssr-learn
  ☆19Updated 3 years ago
• OverWatcherX / javascript-interpreter
  不懂编译也能造JavaScript解释器 —— 手把手教你造 JavaScript 解释器
  ☆169Updated 3 years ago
• fe-fantasy / gui-engineering-101
  🔨 Introduction to GUI engineering skills for Web developers.
  ☆37Updated 4 years ago
• suica / write-you-a-typescript
  ☆89Updated 2 years ago
• bramblex / jsjs-answer
  《前端也要会的编译原理之用 JavaScript 写一个 JavaScript 解释器》大作业参考答案
  ☆30Updated 3 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
  ☆991Updated this week
• douglascrockford / howjavascriptworks
  Programs from the book _How JavaScript Works_
  ☆330Updated 2 years ago
• xieyuheng / ty
  Validate untyped data and return well typed result.
  ☆21Updated last year
• PacktPublishing / Advanced-TypeScript-3-Programming-Projects
  Advanced TypeScript 3 Programming Projects, published by Packt
  ☆223Updated 2 years ago
• Lucifier129 / coproduct
  A small library aims to improve better tagged-unions/discriminated-unions supporting for TypeScript
  ☆30Updated 3 years ago
• remesh-js / remesh
  A CQRS-based DDD framework for large and complex TypeScript/JavaScript applications
  ☆721Updated last year
• linbudu599 / Typings
  知乎/掘金专栏：TypeScript的另一面：类型编程 Demo 集
  ☆15Updated 2 years ago
• microsoft / TypeScript-Compiler-Notes
  A repo containing notes about the TypeScript Compiler codebase
  ☆693Updated 2 years ago
• ies-fe-sh / hire
  Working with intelligent people.
  ☆55Updated 5 years ago
• XGHeaven / jsscript
  A flexible ESNext modern JavaScript engine running on another JavaScript engine.
  ☆48Updated last year
• hsiaosiyuan0 / slowjs
  Learning the awesome QuickJS
  ☆78Updated 2 years ago
• rstackjs / rspack-sources
  Rusty webpack-sources port.
  ☆123Updated last week
• wizardpisces / tiny-sass-compiler
  Another sass compiler write from scatch，runnable on both node and browser
  ☆288Updated last year
• telecss / telecss
  WIP: CSS tokenizer, parser, transformer, minifier, written in Rust.
  ☆200Updated 3 years ago
• aimingoo / js-green-book-3
  本书基于ES6，并涵盖最新的ECMAScript 2019规范，全面讲述JavaScript在五个方面的语言特性，以及将这些特性融会如一的方法。
  ☆125Updated 3 years ago
• TimothyGu / es-howto
  How to read the ECMAScript specification (ECMA-262)
  ☆250Updated last year
• webfansplz / giao-js
  Mini Javascript Interpreter
  ☆77Updated 3 years ago
• datum-lang / datum
  A easy maintain(read/write) language for transform from/to other languages. 下一代企业级编程语言。
  ☆139Updated 3 years ago
• CnTransGroup / programming_language_pragmatics_4th
  PLP（编程语言语用论（第4版）） 翻译
  ☆29Updated 2 years ago
• hyf0 / sicp-javascript-zh
  📖【译-中文】SICP in JavaScript
  ☆12Updated 4 years ago
• chinese-chess-everywhere / type-chess
  一个玩具，用 TypeScript 类型系统写的中国象棋
  ☆819Updated 2 years ago
• web-infra-dev / reduck
  A Redux-based state management library
  ☆82Updated 10 months ago