Programming with Types code samples
☆88Dec 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
- Become an expert C++ programmer by solving real-world programming problems☆10Mar 25, 2019Updated 7 years ago
- guui-react☆47Apr 10, 2019Updated 7 years ago
- Source code for 'Pro Oracle SQL Development' by Jon Heller☆14Apr 17, 2020Updated 6 years ago
- Source code for 'Modern Front-end Architecture' by Ryan Lanciaux☆21Feb 9, 2021Updated 5 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- logic programming in elixir☆10Nov 1, 2018Updated 7 years ago
- iText Samples☆11Jan 31, 2014Updated 12 years ago
- Code samples for the book Multithreaded JavaScript, O'Reilly, 2021☆108Sep 22, 2021Updated 4 years ago
- an implementation of Observational Type Theory (OTT) and more☆31Oct 15, 2022Updated 3 years ago
- DefinitelyTyped documentation-generator source + gh-pages☆12Jun 26, 2014Updated 11 years ago
- Monorepo for Strudel Finance☆10Jun 29, 2022Updated 3 years ago
- Forth package manager for theForthNet☆14Apr 4, 2018Updated 8 years ago
- ☆13Aug 29, 2022Updated 3 years ago
- ☆10Nov 14, 2018Updated 7 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Yet another Scheme interpreter.☆11Sep 17, 2022Updated 3 years ago
- Alternative Lua implementation☆32Mar 2, 2013Updated 13 years ago
- Velo is a tiny language (STLC + Hutton's Razor with Bools) to showcase & explore efficient verified implementations in Idris2.☆16Apr 3, 2023Updated 3 years ago
- Practise Genetic Algorithm in Python☆12Nov 21, 2018Updated 7 years ago
- Experiments with the Verse Calculus in miniKanren☆14Sep 17, 2023Updated 2 years ago
- tak is a benchmark thing 👍 (or maybe just an excuse to collect all the languages)☆14Oct 24, 2025Updated 5 months ago
- ☆11Aug 14, 2019Updated 6 years ago
- 🍅 A pomodoro clock that doesn't break your flow☆13Mar 12, 2017Updated 9 years ago
- 一键添加 eslint、husky、lint-staged 等前端工程化工具。☆29Jan 20, 2022Updated 4 years ago
- Serverless GPU API endpoints on Runpod - Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Redwood.js serverfull hosting with PM2☆10Oct 20, 2021Updated 4 years ago
- Hierarchical Deterministic Keys for the European Digital Identity Wallet☆11Feb 23, 2026Updated last month
- Soar with Haskell, Published by Packt☆14Jan 10, 2024Updated 2 years ago
- 🚦 A tiny abstraction that conditionally disables Zod run-time parsing while preserving type inference☆15Sep 5, 2024Updated last year
- Web based Gitolite Manager, written with node.js over express.js☆19Jul 23, 2011Updated 14 years ago
- A compiler of C subset by USTB OWL Wheel Lab.☆13Mar 8, 2026Updated last month
- A passkeys demo using Spring Boot and Auth0 as IdP☆14Jan 29, 2024Updated 2 years ago
- DISCONTINUED! PLEASE MOVE TO WEBAUTHN! https://medium.com/@herrjemand/introduction-to-webauthn-api-5fd1fb46c285☆13Apr 15, 2019Updated 7 years ago
- Implementation for ICFP 2020 paper☆54Jul 5, 2021Updated 4 years ago
- Serverless GPU API endpoints on Runpod - Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Scala 3 Standard Library with bracket syntax.☆11Jul 10, 2021Updated 4 years ago
- Source of Feitian OpenSK USB Dongle help docs.☆12Jul 5, 2022Updated 3 years ago
- 最新版文档-这个项目中的内容是 wilddog-doc2 项目生成的☆10Jun 21, 2018Updated 7 years ago
- 现代 Web 编程语言体系☆10Nov 9, 2021Updated 4 years ago
- reactivity system with dirty checking☆10Nov 9, 2020Updated 5 years ago
- SWI-Prolog rewriting proxy server that includes SWISH in Learn Prolog Now☆13Mar 5, 2024Updated 2 years ago
- Voevodsky's notes on type systems. This version contains more material than the one on his website.☆12Jun 15, 2014Updated 11 years ago