Programming with Types code samples
☆87Dec 18, 2019Updated 6 years ago
Alternatives and similar repositories for programming-with-types
Users that are interested in programming-with-types are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A guide to how Rspack works and how to contribute to it.☆16May 13, 2024Updated last year
- ☆13Dec 29, 2025Updated 2 months ago
- Become an expert C++ programmer by solving real-world programming problems☆10Mar 25, 2019Updated 6 years ago
- Rust-based Scheme Compiler, written in the Nanopass style☆12Jun 12, 2018Updated 7 years ago
- An effect-management library for React☆14Dec 19, 2020Updated 5 years ago
- A pool of reusable media elements for the web.☆17Sep 27, 2024Updated last year
- Source code for 'Pro Oracle SQL Development' by Jon Heller☆14Apr 17, 2020Updated 5 years ago
- Unmarshal and Marshal generators for Go.☆13Feb 20, 2023Updated 3 years ago
- Shev's Go Tutor☆10Jun 29, 2016Updated 9 years ago
- Code samples for the book Multithreaded JavaScript, O'Reilly, 2021☆108Sep 22, 2021Updated 4 years ago
- 基于koa2 + vue 的前后端分离的中后台管理系统，前后端源码完全开源，可二次开发，可学习可商用，让您快速搭建个性化独立网站☆10Dec 16, 2021Updated 4 years ago
- DefinitelyTyped documentation-generator source + gh-pages☆12Jun 26, 2014Updated 11 years ago
- ☆45Aug 19, 2014Updated 11 years ago
- C/C++工具库，包涵一些常用的类，函数等☆11Jun 20, 2013Updated 12 years ago
- math/rand库的扩展，支持车牌、姓名、手机号等的随机☆15Mar 30, 2019Updated 6 years ago
- Digital Ocean Tutorials 上一些文章的翻译，主要为运维相关。https://www.digitalocean.com/community/tutorials☆12Jun 6, 2016Updated 9 years ago
- Yet another Scheme interpreter.☆11Sep 17, 2022Updated 3 years ago
- tak is a benchmark thing 👍 (or maybe just an excuse to collect all the languages)☆14Oct 24, 2025Updated 4 months ago
- Ideas, documents, and tutorial pile for the Prowl Language☆12Aug 2, 2024Updated last year
- Multi-thread version of simdjson☆15Jul 27, 2019Updated 6 years ago
- 一键添加 eslint、husky、lint-staged 等前端工程化工具。☆29Jan 20, 2022Updated 4 years ago
- The code that goes into the GroupServer tar-ball.☆13Sep 7, 2017Updated 8 years ago
- Redwood.js serverfull hosting with PM2☆10Oct 20, 2021Updated 4 years ago
- ☆14Feb 10, 2021Updated 5 years ago
- A compiler of C subset by USTB OWL Wheel Lab.☆13Mar 8, 2026Updated 2 weeks ago
- ☆10Jan 30, 2021Updated 5 years ago
- 现代 Web 编程语言体系☆10Nov 9, 2021Updated 4 years ago
- An example/bootstrap project that shows how to headlessly test a simple backbone app using node.js.☆19Jun 17, 2013Updated 12 years ago
- reactivity system with dirty checking☆10Nov 9, 2020Updated 5 years ago
- React Ace Wrapper Component☆11Oct 15, 2015Updated 10 years ago
- Dynamically add Constructable Stylesheets to your Stencil components.☆10Jul 6, 2023Updated 2 years ago
- Voevodsky's notes on type systems. This version contains more material than the one on his website.☆11Jun 15, 2014Updated 11 years ago
- Remote execution for Oracle SQL, PL/SQL, and shell scripts, built entirely inside Oracle. Method5 lets you easily run commands quickly a…☆24Apr 3, 2019Updated 6 years ago
- ☆11Apr 10, 2024Updated last year
- Leaninig OpenCV 学习笔记，源码。☆11Nov 23, 2018Updated 7 years ago
- 🎧🦄 Сайт самого безызвестного подкаста во всем frontend☆14Nov 18, 2025Updated 4 months ago
- Easy JSON formats for any case classes, for Scala, ScalaJS and Scala Native☆11Sep 12, 2018Updated 7 years ago
- Asynchronous version of EventEmitter for JavaScript☆20Jan 8, 2025Updated last year
- ☆35Jul 24, 2022Updated 3 years ago