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:
- ☆12Dec 29, 2025Updated 7 months ago
- Analysis and visualize massive real-time updated data.☆17Oct 31, 2022Updated 3 years ago
- An effect-management library for React☆14Dec 19, 2020Updated 5 years ago
- Koishi 的消息数量统计插件。发言排行榜。☆11Jul 18, 2026Updated last month
- Lecture note on Lambda Calculus and Types for FLOLAC☆27Jun 9, 2026Updated 2 months ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- gulp example☆12Apr 13, 2021Updated 5 years ago
- guui-react☆47Apr 10, 2019Updated 7 years ago
- mltd cards database pwa☆12Dec 10, 2022Updated 3 years ago
- Source code for 'Modern Front-end Architecture' by Ryan Lanciaux☆21Feb 9, 2021Updated 5 years ago
- JSON Schema of the Entire CSS Specification☆11Sep 30, 2015Updated 10 years ago
- Lexing, parsing, pretty-printing, and metaprogramming facilities for dealing with GraphQL schemas and queries☆21Dec 14, 2024Updated last year
- Forth package manager for theForthNet☆14Apr 4, 2018Updated 8 years ago
- an implementation of Observational Type Theory (OTT) and more☆30Oct 15, 2022Updated 3 years ago
- Experiments with the Verse Calculus in miniKanren☆14Sep 17, 2023Updated 2 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Type Inference Prototyping Engine from Relational specifications of type systems☆11Jun 24, 2020Updated 6 years ago
- Redwood.js serverfull hosting with PM2☆10Oct 20, 2021Updated 4 years ago
- A compiler of C subset by USTB OWL Wheel Lab.☆13Mar 8, 2026Updated 5 months ago
- https://github.com/kaola-fed/blog/issues/89☆16Oct 25, 2018Updated 7 years ago
- 实现迷你版vite | a simple Vite for learn Vite source code☆19Jun 14, 2023Updated 3 years ago
- SWI-Prolog rewriting proxy server that includes SWISH in Learn Prolog Now☆13Mar 5, 2024Updated 2 years ago
- Dynamically add Constructable Stylesheets to your Stencil components.☆10Jul 6, 2023Updated 3 years ago
- Implementation for ICFP 2020 paper☆53Jul 5, 2021Updated 5 years ago
- Better way to cancel promises using AbortSignal☆23Apr 18, 2024Updated 2 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- RFCs of MoonBit lang☆16Apr 17, 2024Updated 2 years ago
- Leaninig OpenCV 学习笔记，源码。☆11Nov 23, 2018Updated 7 years ago
- Remote execution for Oracle SQL, PL/SQL, and shell scripts, built entirely inside Oracle. Method5 lets you easily run commands quickly a…☆25Apr 3, 2019Updated 7 years ago
- Codes for Registration of Multi-View Point Sets Under the Perspective of Expectation-Maximization☆13Dec 21, 2020Updated 5 years ago
- Easy JSON formats for any case classes, for Scala, ScalaJS and Scala Native☆11Sep 12, 2018Updated 7 years ago
- Converter from Swagger JSON to Markdown☆12May 11, 2019Updated 7 years ago
- a tiny models definition library for JavaScript. 一个小巧、轻量、简单的前端数据模型库。☆15Jun 7, 2021Updated 5 years ago
- Lightweight multi-instance redux library based on react-redux☆10Jan 4, 2023Updated 3 years ago
- A website server that supports serving many websites using subdomain-based routing.☆20Jul 20, 2025Updated last year
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- ☆10Apr 10, 2024Updated 2 years ago
- miniKanren in Pharo☆12Jun 10, 2024Updated 2 years ago
- Redis Streams as backend for Queue Package☆14Jul 18, 2026Updated last month
- A tiny job scheduler☆17May 18, 2026Updated 3 months ago
- Un-accents and un-umlauts characters in a string. Also preliminary converts the string to lower case. We use it for autocomplete: both fo…☆14Jan 17, 2019Updated 7 years ago
- toy-bundler☆12Mar 27, 2023Updated 3 years ago
- rewrite subset of linux 2.6 by OOP, C++ advanced topics☆10Jul 22, 2021Updated 5 years ago