Simple Set-Theoretic Types library
☆20Sep 4, 2026Updated last month
Alternatives and similar repositories for sstt
Users that are interested in sstt are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A comprehensive Neovim plugin for OCaml development with intelligent sandbox detection, LSP integration, and comprehensive filetype suppo…☆40Nov 9, 2025Updated 11 months ago
- OCaml bindings to quickjs☆21Sep 28, 2026Updated last week
- ☆19Nov 3, 2025Updated 11 months ago
- ☆19Nov 23, 2021Updated 4 years ago
- Martin-Löf type theory + W-types implemented in C (WIP)☆28Feb 16, 2026Updated 7 months 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.
- A graduate course on formalized mathematics at the Faculty of Mathematics and Physics, University of Ljubljana, Fall semester 2024/25☆29Jan 10, 2025Updated last year
- Implementation and explorations into PopuLoRA, Co-Evolving LLM Populations for Reasoning Self-Play☆18Sep 29, 2026Updated last week
- A Krivine machine for the call-by-name reduction of lambda calculus (+ call/cc) expressions in Haskell.☆14Feb 26, 2024Updated 2 years ago
- ☆15Apr 12, 2023Updated 3 years ago
- ☆11Jul 18, 2023Updated 3 years ago
- Prototype code for some Julia-OCaml bindings☆16Jan 3, 2021Updated 5 years ago
- LR(1) and LALR parsing tools app to learn compilers and language theory☆27Sep 5, 2026Updated last month
- Rust compile-time type information experiment☆19Jan 24, 2023Updated 3 years ago
- Yet another Vulkan based rendering engine.☆11Jan 8, 2019Updated 7 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.
- The torque project CLI toolchain☆16Jun 10, 2024Updated 2 years ago
- Vim theming plugin☆10Sep 19, 2017Updated 9 years ago
- An implementation of Deepmind's MuZero algorithm.☆17Aug 23, 2021Updated 5 years ago
- A simple parser combinator library for Ocaml☆30Aug 21, 2021Updated 5 years ago
- Making your Lua Folds as tidy as a nice Manilla Folder☆16Feb 19, 2021Updated 5 years ago
- my nvim configuration files☆12May 10, 2026Updated 5 months ago
- Emacs port for NeoFusion theme from Neovim☆13Jan 2, 2025Updated last year
- Using runtime-free macro packages as dev-only dependencies.☆22Jan 6, 2023Updated 3 years ago
- neovim python plugin framework☆13Aug 31, 2020Updated 6 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.
- Quickly edit related / alternate files in vim.☆12Oct 25, 2021Updated 4 years ago
- ☆15Sep 11, 2018Updated 8 years ago
- Display Neovim API functions in a buffer for reference.☆14Mar 18, 2017Updated 9 years ago
- A minimal implementation of Hindley-Milner's Algorithm J in OCaml☆81Jan 20, 2022Updated 4 years ago
- A rust version of Snake that runs on android☆13Dec 29, 2018Updated 7 years ago
- Not So Simple Terminal☆20Sep 8, 2026Updated last month
- ☆12Feb 25, 2024Updated 2 years ago
- Vim Plugin Skeletons☆15Aug 7, 2015Updated 11 years ago
- My neovim config☆13May 31, 2026Updated 4 months ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- ☆14Nov 3, 2018Updated 7 years ago
- A reflection-based proof tactic for lattices in Coq☆21Mar 17, 2026Updated 6 months ago
- A program launcher for Wayland☆17Jan 15, 2024Updated 2 years ago
- a Debug Adapter that allows debugging lua plugins written for Neovim☆18Apr 7, 2021Updated 5 years ago
- Survey of the Rust web scene in mid-2019, covering async/await, DDD-esque structure, testing, mocking, OpenAPI, and Actix☆17Aug 22, 2019Updated 7 years ago
- A better import/module system for Julia.☆19Jan 6, 2021Updated 5 years ago
- Vim/Neovim Colortheme–Truecolor, Stunning, Complete☆14Jul 21, 2019Updated 7 years ago