Extensions to Koka's std libraries (definitely unofficial, likely to be split into other packages)
☆12Sep 20, 2026Updated last month
Alternatives and similar repositories for std
Users that are interested in std are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Koka grammar for tree-sitter☆19Feb 23, 2026Updated 8 months ago
- hica is a high-performance, expression-oriented programming language that transpiles to Koka☆23Sep 19, 2026Updated last month
- ☆21Jul 28, 2026Updated 2 months ago
- Widget Generator for Flutter☆14Sep 27, 2021Updated 5 years ago
- Cassandra client in scala☆16Updated this week
- 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.
- Recipe Ingredient Parser☆12Nov 16, 2022Updated 3 years ago
- ☆10Jun 7, 2024Updated 2 years ago
- Flutter Analyzer for Flutter☆16Sep 22, 2024Updated 2 years ago
- Experiments with preordered set models of (directed) type theories☆16Jul 10, 2019Updated 7 years ago
- An AI workforce platform: role-specialized agents with multi-provider LLM, MCP, tasks, and a web + CLI UI. You're in charge.☆89Jul 28, 2026Updated 2 months ago
- TOML v0.4.0 parser and encoder☆12Oct 23, 2019Updated 7 years ago
- Using freezed unions as a router for URIs.☆15Nov 13, 2020Updated 5 years ago
- A Bevy plugin to easily create and manage windows that remember where they were.☆16Oct 25, 2025Updated last year
- Generates dart:ffi bindings using the libclang AST☆18Jun 25, 2019Updated 7 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.
- Common Lisp library for encoding and decoding RFC 4251 compliant data☆14Jul 10, 2023Updated 3 years ago
- mixin macros☆20Dec 14, 2023Updated 2 years ago
- `mutatis` is a library for writing custom, structure-aware test-case mutators for fuzzers in Rust.☆19Sep 16, 2026Updated last month
- ☆14Aug 20, 2019Updated 7 years ago
- Type-safe SQL for SQLite in Gleam☆16Oct 12, 2026Updated last week
- domain driven design in Go☆14Aug 18, 2020Updated 6 years ago
- ☆11May 12, 2025Updated last year
- A fast and space efficient library to deal with data in Dart, Flutter and the web.☆26Updated this week
- A template repository for building a chrome extension with webpack and elm.☆18Jan 14, 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.
- Swift wrapper for SkiaSharp's C API☆12Nov 6, 2019Updated 6 years ago
- rust cli project.el clone for those leaving emacs☆17Jul 3, 2023Updated 3 years ago
- Offical driver modify for esp_idf☆11Aug 16, 2024Updated 2 years ago
- A Simple Abstract Interpreter, built for teaching purposes☆21May 13, 2020Updated 6 years ago
- 3D graphical rendering tool for websites written in Dart.☆16Jul 5, 2021Updated 5 years ago
- Logtalk 2.x development version☆14Sep 20, 2012Updated 14 years ago
- Streaming effects for PureScript☆16Nov 8, 2021Updated 4 years ago
- Native, high-performance, cross-platform desktop apps - built with Reason!☆13Sep 8, 2025Updated last year
- ☆13Nov 16, 2025Updated 11 months ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Starter project for the hyperapp site generator☆17Jul 31, 2024Updated 2 years ago
- HTML Object Declarative Dom☆21May 24, 2021Updated 5 years ago
- VeraBench: a benchmark suite for LLM code generation in Vera☆15Sep 22, 2026Updated last month
- Java library allowing for quick development of Discord bots☆21Oct 21, 2021Updated 5 years ago
- Next-gen Hyperapp framework.☆20Nov 17, 2021Updated 4 years ago
- parody of emacs zig-mode with most of the functionality☆22Dec 5, 2022Updated 3 years ago
- A Rust library for basic signal processing in mass spectrometry☆14May 27, 2026Updated 4 months ago