tynix (typed-nix) is gradual type system for nix
☆36Oct 26, 2026Updated this week
Alternatives and similar repositories for tynix
Users that are interested in tynix are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- i'm too lazy to configure dependencies but i just wanna use vite-plus with nix☆32Updated this week
- Nix-packaged Secure Enclave-backed SSH authentication and Git SSH signing for macOS.☆15Oct 3, 2026Updated 3 weeks ago
- Lays contents at root-relative targets, as the manifest says. Formerly nput.☆18Updated this week
- ush is modern sh☆17Sep 5, 2026Updated last month
- A CLI tool that fetches text content from services that normally require a browser or login — YouTube transcripts, Twitter/X posts, and B…☆14Updated this week
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Hit jabs on you want to go!☆20Jul 23, 2026Updated 3 months ago
- Typed task runner with Bazel-style incremental caching, configured in Pkl.☆53Oct 3, 2026Updated 3 weeks ago
- 📻 vim-jpラジオ専用 Vim クライアント☆16Jul 11, 2024Updated 2 years ago
- ☆16May 24, 2025Updated last year
- Better GraphQL☆11Apr 15, 2026Updated 6 months ago
- 🌂Performance + Experience🌙☆12Oct 9, 2026Updated 2 weeks ago
- ☆15Oct 20, 2026Updated last week
- 株式会社テックリードのホームページ☆17Updated this week
- 🦕 Open a file or URL using the default application of the user's platform (support Windows, macOS, and Linux)☆13Apr 6, 2024Updated 2 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- ☆12Updated this week
- nvimx manages your Neovim plugins with Nix, driven by the same lazy.nvim-style Lua config you already write.☆23Oct 17, 2026Updated last week
- Program which generates ASCII pictures of a kuu with a message [maintainers=@natsukium]☆11Oct 17, 2024Updated 2 years ago
- ☆48Updated this week
- Python bindings for embedding V8 and running JavaScript, built on denoland/rusty_v8☆12May 9, 2026Updated 5 months ago
- A library gathering various methods to ouput "Hello world!!".☆20Apr 25, 2026Updated 6 months ago
- Deno module to generate images from source code using Aloxaf/silicon.☆11May 15, 2024Updated 2 years ago
- Vite plugin that converts Makefile targets into vite-plus tasks☆13Oct 22, 2026Updated last week
- Fast and compile-time safe abbreviation expansion for zsh. written in Rust.☆14Mar 23, 2026Updated 7 months 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.
- corsa (typescript 7 "previously typescript-go") bindings (ffi & orchestration) for rust and js/ts, etc...☆66Oct 21, 2026Updated last week
- fcitx5-hazkey packaged for NixOS and Home Manager☆30Sep 25, 2026Updated last month
- 🐳 Dockerfiles to quickly construct a denops available Vim/Neovim environment☆17Dec 11, 2025Updated 10 months ago
- A markdown previewer for Vim and Neovim☆106Jun 5, 2026Updated 4 months ago
- High performance jsdoc parser☆15Updated this week
- Go based dark powered framework for Vim/Neovim☆34Updated this week
- 🎃 Vim plugin to help install/uninstall denops-shared-server☆31Aug 18, 2024Updated 2 years ago
- ☆24Jan 4, 2026Updated 9 months ago
- all-in-one markdown toolchain ― fastest, tiniest, framework agnostic, powerful, customizable☆256Updated this week
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Reproducible nix overlay of binary distributed MoonBit toolchains and LSP☆26Updated this week
- Nostr relay running on Cloudflare Workers☆22Oct 3, 2026Updated 3 weeks ago
- dowa means どわーw (冷笑) / 冷笑を検知しますw☆17Sep 4, 2026Updated last month
- Dark deno powered AI plugin☆29Feb 9, 2024Updated 2 years ago
- Discord の通話内容を要約して、ボイスチャンネルのステータスに反映する bot☆13Sep 1, 2026Updated last month
- Declarative management of Agent Skills on Nix☆275Updated this week
- language server that bridges the gap between languages, editors, and tooling☆291Oct 22, 2026Updated last week