Tina, a programming language with typed algebraic effects and handlers.
☆13Aug 13, 2021Updated 4 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☆64Mar 30, 2026Updated 3 months ago
- ☆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
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- A discouraging story.☆18May 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
- ☆46Aug 11, 2025Updated 11 months ago
- Coq proof for the paper "Compiling a Fifty Year Journey"☆13Aug 22, 2017Updated 8 years ago
- Low level (C) implementation of a CEK machine with an additional "F" failure continuation supporting amb☆15Jul 18, 2026Updated last week
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Essentials of Programming Languages, with OCaml implementations & Coq proofs☆30Jan 13, 2017Updated 9 years ago
- Collection of Idris snippets☆25Dec 23, 2025Updated 7 months ago
- Rocqet proof language☆30Aug 11, 2025Updated 11 months ago
- First-class effects for Elixir☆16Apr 28, 2019Updated 7 years ago
- Typed Racket data structure libraries☆60Nov 5, 2021Updated 4 years ago
- OCaml Serial Module☆11Oct 5, 2024Updated last year
- Verified Extraction from Rocq to OCaml/Malfunction☆17Jun 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
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- 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"☆39Oct 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
- Turnstyle is a graphical esoteric programming language based on lambda calculus☆80Oct 1, 2025Updated 9 months 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
- mirror of https://git.robur.coop/robur/mirage-monitoring☆13Sep 30, 2025Updated 9 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.
- Writeup that goes along with this:☆41Jan 18, 2018Updated 8 years ago
- 明日方舟-孤星-Latex模板☆19Nov 30, 2025Updated 7 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