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☆67Oct 8, 2026Updated last week
- 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 3 years ago
- A discouraging story.☆19May 8, 2018Updated 8 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.
- ☆12Feb 11, 2019Updated 7 years ago
- Messing around with delimited continuations, fibers, and algebraic effects☆16Oct 2, 2021Updated 5 years ago
- ☆12Sep 22, 2020Updated 6 years ago
- A delightful programming language for writing reliable software☆19Oct 24, 2024Updated last year
- WebAssembly specification, reference interpreter, and test suite with effect handlers extension.☆32Jun 10, 2022Updated 4 years ago
- Port of SwiftyKanren to Kotlin☆19Feb 8, 2021Updated 5 years ago
- ☆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
- 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.
- Low level (C) implementation of a CEK machine with an additional "F" failure continuation supporting amb☆15Jul 30, 2026Updated 2 months ago
- Essentials of Programming Languages, with OCaml implementations & Coq proofs☆30Jan 13, 2017Updated 9 years ago
- Rocqet proof language☆29Aug 11, 2025Updated last year
- Collection of Idris snippets☆26Dec 23, 2025Updated 9 months ago
- First-class effects for Elixir☆16Apr 28, 2019Updated 7 years ago
- OCaml Serial Module☆11Oct 5, 2024Updated 2 years ago
- Typed Racket data structure libraries☆61Nov 5, 2021Updated 4 years ago
- Verified Extraction from Rocq to OCaml/Malfunction☆19Oct 9, 2026Updated last week
- A syntactic "for" loop Rust macro☆56Jan 17, 2023Updated 3 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
- Refinement types encoded with private types in OCaml.☆11Oct 18, 2020Updated 6 years ago
- OCaml with typed algebraic effects☆53Oct 12, 2018Updated 8 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
- Accompanying materials for "A Core Calculus for Documents"☆40Oct 5, 2023Updated 3 years ago
- mirror of https://git.robur.coop/robur/http-mirage-client☆11Sep 14, 2026Updated last month
- Turnstyle is a graphical esoteric programming language based on lambda calculus☆83Oct 4, 2026Updated last week
- mirror of https://git.robur.coop/robur/mirage-monitoring☆13Sep 30, 2025Updated last year
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Writeup that goes along with this:☆41Jan 18, 2018Updated 8 years ago
- 明日方舟-孤星-Latex模板☆25Nov 30, 2025Updated 10 months ago
- OCaml bindings to stb_truetype, a public domain truetype font rasterizer☆10Jan 13, 2023Updated 3 years ago
- Constrained Application Protocol (RFC 7252) implementation for OCaml.☆12Apr 3, 2024Updated 2 years ago
- A small example of a source->source pattern matching to decision tree compiler☆14Jul 29, 2020Updated 6 years ago
- Simple, existential optics library for OCaml☆18Sep 24, 2022Updated 4 years ago
- A programming language written in Python and LLVMLite☆11Apr 15, 2022Updated 4 years ago