A programming language that runs on TypeScript's type system
☆51Jun 30, 2023Updated 2 years ago
Alternatives and similar repositories for hyke
Users that are interested in hyke are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ISBL - Information Systems Base Language☆19Sep 21, 2014Updated 11 years ago
- A parser combinator library in TypeScript☆33Jun 5, 2026Updated last week
- A bash script to build a sqlite database of EXIF information in a directory and plot it on a map.☆14Jan 29, 2025Updated last year
- Generate TypeScript .d.ts files for using tree-sitter grammars.☆30Apr 11, 2025Updated last year
- ☆21Mar 1, 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.
- support for type acquisition with url imports, npm, jsr prefixes☆16Jun 13, 2024Updated 2 years ago
- 📏 Typesafe rules engine with JSON encoding.☆36Jul 22, 2023Updated 2 years ago
- Bun.js filesystem router plugin☆15Jul 14, 2023Updated 2 years ago
- A hackable notes-spreadsheet-hybrid for programmers☆16Dec 2, 2025Updated 6 months ago
- Melon.js game engine bindings for Solid☆11Aug 30, 2022Updated 3 years ago
- Semantic find-and-replace using tree-sitter-based macro expansion!☆16Mar 31, 2022Updated 4 years ago
- Minimizing Haskell programs for easier debugging of GHC compiler crashes☆21Jun 26, 2021Updated 4 years ago
- Channels☆26Nov 5, 2022Updated 3 years ago
- A controller for Wavin AHC 9000 written in Python with focus for use in home-automation.☆14Sep 8, 2018Updated 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.
- Library that bridges Commons VFS 2 to Java's NIO.2 virtual file system☆15Jun 16, 2022Updated 3 years ago
- Access different AI models in a one place☆21Jul 31, 2023Updated 2 years ago
- Mystery Languages☆46Sep 6, 2023Updated 2 years ago
- Traits for typescript (and javascript)☆12Nov 17, 2024Updated last year
- Keeps a directed acyclic graph topologically sorted each time you add an edge or vertex.☆12Sep 22, 2018Updated 7 years ago
- A package for removing tracing parameters from URLs. This package supports automatically updating filtering rules from Adguard.☆18Nov 8, 2022Updated 3 years ago
- A website server that supports serving many websites using subdomain-based routing.☆20Jul 20, 2025Updated 10 months ago
- Eval library and patched Scala-3/Dotty compiler. Evaluating source code and trees at compile time hacking multi-staging programming☆20Nov 2, 2022Updated 3 years ago
- Create a DEB file for Joplin☆14Jan 16, 2026Updated 4 months 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.
- Model Based Testing of the App Based On The Description from Constructing the User Interface with Statecharts Book of Ian Horrocks using …☆13Feb 20, 2024Updated 2 years ago
- Human-like theorem prover, inspired by robotone and developed in the Coq ecosystem.☆17May 6, 2022Updated 4 years ago
- Distributed data sync using trimerge☆11Mar 26, 2024Updated 2 years ago
- Abortable and Resolvable Promises.☆56Mar 8, 2023Updated 3 years ago
- ☆14Jun 7, 2022Updated 4 years ago
- A Command line interface that allows you to manage the back end of your self hosted typesense server. Builds on top of the typesense js l…☆17Sep 25, 2023Updated 2 years ago
- Make Google Photos a Muzei wallpaper source☆12Oct 6, 2022Updated 3 years ago
- Type-level math expression evaluator for TypeScript.☆43Jun 5, 2023Updated 3 years ago
- Provide OpenID connect for Cloudflare Workers / Pages☆14Mar 17, 2025Updated last year
- 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.
- A small spreadsheet demo in Rust, Yew, and WASM☆11Jun 16, 2023Updated 2 years ago
- A tinny(~3kb) utility that can simplify cross window(iframes, workers, same origin windows) and electron main / renderer process communic…☆13Apr 16, 2026Updated last month
- rainbowBracket extension for CodeMirror6☆13Apr 21, 2023Updated 3 years ago
- ☆28Dec 26, 2025Updated 5 months ago
- A client-side relational modeling framework. Like a blend of ActiveRecord and Backbone, but different and better.☆37Mar 27, 2013Updated 13 years ago
- A Go implementation of the HOTP (RFC 4226) and TOTP (RFC 6238) algorithms.☆21Jun 7, 2026Updated last week
- PureScript Language Support for Visual Studio Code☆18Jul 20, 2025Updated 10 months ago