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
- Final year project (Heart disease prediction using machine learning techniques)☆13Dec 3, 2024Updated last year
- ☆12Feb 11, 2019Updated 7 years ago
- OCaml with macros☆67Oct 8, 2026Updated 3 weeks ago
- Multi-shot CPS typed algebraic effects and handlers, in typescript.☆18Sep 11, 2023Updated 3 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.
- Messing around with delimited continuations, fibers, and algebraic effects☆16Oct 2, 2021Updated 5 years ago
- ☆12Sep 22, 2020Updated 6 years ago
- A discouraging story.☆19May 8, 2018Updated 8 years ago
- WebAssembly specification, reference interpreter, and test suite with effect handlers extension.☆32Jun 10, 2022Updated 4 years ago
- NES emulator in OCaml☆43Apr 30, 2026Updated 6 months ago
- ☆17Apr 4, 2024Updated 2 years ago
- 🐫🎮 OCaml Game Engine☆45Mar 20, 2025Updated last year
- A delightful programming language for writing reliable software☆19Oct 24, 2024Updated 2 years ago
- Implementation of a language interpreter in the browser, using js_of_ocaml.☆15Dec 25, 2017Updated 8 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 CHIP8 emulator written in OCaml☆26Mar 4, 2022Updated 4 years ago
- Low level (C) implementation of a CEK machine with an additional "F" failure continuation supporting amb☆15Updated this week
- Coq proof for the paper "Compiling a Fifty Year Journey"☆13Aug 22, 2017Updated 9 years ago
- Port of SwiftyKanren to Kotlin☆19Feb 8, 2021Updated 5 years ago
- ☆45Aug 11, 2025Updated last year
- Essentials of Programming Languages, with OCaml implementations & Coq proofs☆30Jan 13, 2017Updated 9 years ago
- Rocqet proof language☆29Aug 11, 2025Updated last year
- Typed Racket data structure libraries☆61Nov 5, 2021Updated 5 years ago
- Collection of Idris snippets☆26Dec 23, 2025Updated 10 months 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.
- Experimental parallel and concurrent OCaml☆15Jan 28, 2023Updated 3 years ago
- Refinement types encoded with private types in OCaml.☆11Oct 18, 2020Updated 6 years ago
- Docker image for Frappe.☆13Nov 25, 2021Updated 4 years ago
- A syntactic "for" loop Rust macro☆56Jan 17, 2023Updated 3 years ago
- First-class effects for Elixir☆16Apr 28, 2019Updated 7 years ago
- Proof assistant for single sorted predicate logic☆14Sep 16, 2026Updated last month
- Final year project☆14Apr 1, 2026Updated 7 months ago
- Verified Extraction from Rocq to OCaml/Malfunction☆22Updated this week
- Bindings to the `cuda` and `nvrtc` libraries with a unified interface☆26Sep 23, 2026Updated last month
- 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.
- Working through the Thinking with Types book in Haskell☆34May 1, 2020Updated 6 years ago
- Writeup that goes along with this:☆41Jan 18, 2018Updated 8 years ago
- OCaml with typed algebraic effects☆53Oct 12, 2018Updated 8 years ago
- mirror of https://git.robur.coop/robur/http-mirage-client☆11Sep 14, 2026Updated last month
- A simple library for manipulating GUID partition tables☆13Jul 2, 2026Updated 4 months ago
- Confectionery of the @GreenteaOS☆10Dec 24, 2025Updated 10 months ago
- mirror of https://git.robur.coop/robur/mirage-monitoring☆13Sep 30, 2025Updated last year