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.
  ☆380Updated 10 months ago
• apachecn / sicp-js-zh
  【译】NUS CS1101s SICP JavaScript 描述
  ☆165Updated 2 years ago
• suica / write-you-a-typescript
  ☆88Updated last year
• oxc-project / javascript-parser-in-rust
  Tutorial on writing a JavaScript Parser in Rust
  ☆499Updated 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
• source-academy / sicp
  XML sources of SICP and SICP JS, and support for generating Interactive SICP JS, PDF, e-book and comparison editions
  ☆967Updated this week
• hardfist / ssr-learn
  ☆19Updated 3 years ago
• sokra / webpack-meetup-2018-05
  Application for the meetup talk
  ☆56Updated 7 years ago
• Lucifier129 / coproduct
  A small library aims to improve better tagged-unions/discriminated-unions supporting for TypeScript
  ☆30Updated 3 years ago
• bytebase / interview
  Take-home interview assignment used in our interview process
  ☆96Updated 3 years ago
• tomstuart / computationbook
  Example code for Understanding Computation
  ☆504Updated 10 years ago
• linbudu599 / Typings
  知乎/掘金专栏：TypeScript的另一面：类型编程 Demo 集
  ☆15Updated 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_
  ☆327Updated 2 years ago
• wizardpisces / experiment
  Svelte Vue React-Hooks Vite Webpack Koa Inversify Rpc Express etc in mini-version
  ☆39Updated 2 years ago
• doodlewind / crdt-and-local-first
  A slide - WIP
  ☆29Updated 2 years ago
• humanwhocodes / pledge
  A custom promise implementation for JavaScript
  ☆90Updated 3 years ago
• CnTransGroup / programming_language_pragmatics_4th
  PLP（编程语言语用论（第4版）） 翻译
  ☆29Updated 2 years ago
• ies-fe-sh / hire
  Working with intelligent people.
  ☆55Updated 4 years ago
• hsiaosiyuan0 / slowjs
  Learning the awesome QuickJS
  ☆75Updated last year
• telecss / telecss
  WIP: CSS tokenizer, parser, transformer, minifier, written in Rust.
  ☆199Updated 3 years ago
• xieyuheng / ty
  Validate untyped data and return well typed result.
  ☆22Updated 11 months ago
• TimothyGu / es-howto
  How to read the ECMAScript specification (ECMA-262)
  ☆249Updated last year
• datum-lang / datum
  A easy maintain(read/write) language for transform from/to other languages. 下一代企业级编程语言。
  ☆140Updated 3 years ago
• hyf0 / sicp-javascript-zh
  📖【译-中文】SICP in JavaScript
  ☆11Updated 4 years ago
• web-infra-dev / rspack-sources
  Rusty webpack-sources port.
  ☆121Updated last week
• bramblex / jsjs-answer
  《前端也要会的编译原理之用 JavaScript 写一个 JavaScript 解释器》大作业参考答案
  ☆30Updated 3 years ago
• web-infra-dev / reduck
  A Redux-based state management library
  ☆81Updated 7 months ago
• aimingoo / js-green-book-3
  本书基于ES6，并涵盖最新的ECMAScript 2019规范，全面讲述JavaScript在五个方面的语言特性，以及将这些特性融会如一的方法。
  ☆125Updated 3 years ago