Tina, a programming language with typed algebraic effects and handlers.
☆13Aug 13, 2021Updated 5 years ago
Alternatives and similar repositories for tina
Users that are interested in tina are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- an encoding of affine effect handlers using pthreads☆14Nov 15, 2022Updated 3 years ago
- OCaml with macros☆65Aug 6, 2026Updated last month
- ☆12Feb 11, 2019Updated 7 years ago
- Final year project (Heart disease prediction using machine learning techniques)☆13Dec 3, 2024Updated last year
- Multi-shot CPS typed algebraic effects and handlers, in typescript.☆18Sep 11, 2023Updated 2 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A discouraging story.☆19May 8, 2018Updated 8 years ago
- Messing around with delimited continuations, fibers, and algebraic effects☆16Oct 2, 2021Updated 4 years ago
- ☆12Sep 22, 2020Updated 5 years ago
- WebAssembly specification, reference interpreter, and test suite with effect handlers extension.☆32Jun 10, 2022Updated 4 years ago
- A delightful programming language for writing reliable software☆20Oct 24, 2024Updated last year
- ☆17Apr 4, 2024Updated 2 years ago
- ☆45Aug 11, 2025Updated last year
- Coq proof for the paper "Compiling a Fifty Year Journey"☆13Aug 22, 2017Updated 9 years ago
- Low level (C) implementation of a CEK machine with an additional "F" failure continuation supporting amb☆15Jul 30, 2026Updated last month
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Essentials of Programming Languages, with OCaml implementations & Coq proofs☆30Jan 13, 2017Updated 9 years ago
- Collection of Idris snippets☆25Dec 23, 2025Updated 8 months ago
- Rocqet proof language☆29Aug 11, 2025Updated last year
- First-class effects for Elixir☆16Apr 28, 2019Updated 7 years ago
- Typed Racket data structure libraries☆61Nov 5, 2021Updated 4 years ago
- OCaml Serial Module☆11Oct 5, 2024Updated last year
- Verified Extraction from Rocq to OCaml/Malfunction☆18Aug 3, 2026Updated last month
- A syntactic "for" loop Rust macro☆56Jan 17, 2023Updated 3 years ago
- OCaml with typed algebraic effects☆53Oct 12, 2018Updated 7 years 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.
- Poor man's algebraic effects for TypeScript (PoC); next -> https://github.com/susisu/effectful☆23Jan 9, 2023Updated 3 years ago
- Accompanying materials for "A Core Calculus for Documents"☆40Oct 5, 2023Updated 2 years ago
- one on one Ocaml TCP chat app written with Riot + Mint tea☆10Apr 1, 2024Updated 2 years ago
- Working through the Thinking with Types book in Haskell☆34May 1, 2020Updated 6 years ago
- Simple, existential optics library for OCaml☆18Sep 24, 2022Updated 3 years ago
- Experimental parallel and concurrent OCaml☆15Jan 28, 2023Updated 3 years ago
- mirror of https://git.robur.coop/robur/http-mirage-client☆11Feb 25, 2025Updated last year
- Turnstyle is a graphical esoteric programming language based on lambda calculus☆83Oct 1, 2025Updated 11 months ago
- mirror of https://git.robur.coop/robur/mirage-monitoring☆13Sep 30, 2025Updated 11 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Writeup that goes along with this:☆41Jan 18, 2018Updated 8 years ago
- 明日方舟-孤星-Latex模板☆20Nov 30, 2025Updated 9 months ago
- OCaml bindings to stb_truetype, a public domain truetype font rasterizer☆10Jan 13, 2023Updated 3 years ago
- 🐫🎮 OCaml Game Engine☆44Mar 20, 2025Updated last year
- scikit-learn for OCaml☆36Dec 9, 2020Updated 5 years ago
- A programming language written in Python and LLVMLite☆11Apr 15, 2022Updated 4 years ago
- A small example of a source->source pattern matching to decision tree compiler☆14Jul 29, 2020Updated 6 years ago