Alternatives and similar repositories for programming-with-types

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

• suica / write-you-a-typescript
  ☆86Updated last year
• apachecn / sicp-js-zh
  【译】NUS CS1101s SICP JavaScript 描述
  ☆160Updated 2 years ago
• Huxpro / dotfiles
  Well, dotfiles.
  ☆18Updated 6 months ago
• Lucifier129 / coproduct
  A small library aims to improve better tagged-unions/discriminated-unions supporting for TypeScript
  ☆30Updated 3 years ago
• fe-fantasy / gui-engineering-101
  🔨 Introduction to GUI engineering skills for Web developers.
  ☆37Updated 4 years ago
• xieyuheng / ty
  Validate untyped data and return well typed result.
  ☆22Updated 6 months ago
• OverWatcherX / javascript-interpreter
  不懂编译也能造JavaScript解释器 —— 手把手教你造 JavaScript 解释器
  ☆170Updated 2 years ago
• CnTransGroup / programming_language_pragmatics_4th
  PLP（编程语言语用论（第4版）） 翻译
  ☆27Updated 2 years ago
• g-plane / type-gymnastics
  Collection of wonderful TypeScript type gymnastics code snippets.
  ☆375Updated 5 months ago
• aimingoo / js-green-book-3
  本书基于ES6，并涵盖最新的ECMAScript 2019规范，全面讲述JavaScript在五个方面的语言特性，以及将这些特性融会如一的方法。
  ☆126Updated 3 years ago
• PacktPublishing / Hands-On-Functional-Programming-with-Typescript
  Hands-On Functional Programming with Typescript, published by Packt
  ☆105Updated 2 years ago
• byte-organization / byte-organization
  收集一些开源组织，欢迎PR补充 🎉 （字母顺序排序）
  ☆13Updated 3 years ago
• XGHeaven / jsscript
  A flexible ESNext modern JavaScript engine running on another JavaScript engine.
  ☆44Updated 10 months ago
• seognil / learn-by-doing
  learn developing, methodology, tool, framework
  ☆30Updated 4 years ago
• ahejlsberg / PLE-demos
  Demos from my Programming Language Experts talk, Apr 2021
  ☆50Updated 4 years ago
• DCtheTall / purely-functional-data-structures
  TypeScript implementations and exercises from Chris Okasaki's book, Purely Functional Data Structures
  ☆10Updated 6 years ago
• moonbit-community / MoonbitNES
  A NES emulator in MoonBit
  ☆53Updated 2 months ago
• hardfist / ssr-learn
  ☆19Updated 3 years ago
• web-infra-dev / rspack-sources
  Rusty webpack-sources port.
  ☆121Updated 3 weeks ago
• ies-fe-sh / hire
  Working with intelligent people.
  ☆55Updated 4 years ago
• LeetCode-OpenSource / hire
  Join LeetCode
  ☆489Updated 2 years ago
• chinese-chess-everywhere / type-chess
  一个玩具，用 TypeScript 类型系统写的中国象棋
  ☆812Updated 2 years ago
• doodlewind / crdt-and-local-first
  A slide - WIP
  ☆29Updated 2 years ago
• datum-lang / datum
  A easy maintain(read/write) language for transform from/to other languages. 下一代企业级编程语言。
  ☆141Updated 3 years ago
• telecss / telecss
  WIP: CSS tokenizer, parser, transformer, minifier, written in Rust.
  ☆198Updated 3 years ago
• xiaoxiaojx / blog
  Project for records problems solved in my work and study.
  ☆253Updated 2 years ago
• hyf0 / sicp-javascript-zh
  📖【译-中文】SICP in JavaScript
  ☆10Updated 4 years ago
• lencx / dev
  🙈 开发那些事儿
  ☆21Updated 2 years ago
• sokra / webpack-meetup-2018-05
  Application for the meetup talk
  ☆56Updated 6 years ago
• theanarkh / No.js
  No.js：基于V8和io_uring的JS运行时，只支持Linux5.5及以上
  ☆54Updated 2 years ago