Nova — a programming language for the AI era. Algebraic effects make side effects visible in function signatures.
☆15Oct 30, 2026Updated this week
Alternatives and similar repositories for nova
Users that are interested in nova are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Harn is a programming language and runtime for building AI agents.☆28Updated this week
- The Verum Programming Language☆15Updated this week
- Miri: GPU-first programming language☆16Updated this week
- A comprehensive script to completely disable Microsoft Defender, Windows Security app, SmartScreen, handling all aspects - group policies…☆29Jun 11, 2026Updated 4 months ago
- Ray queries for voxel.js☆14Mar 11, 2013Updated 13 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- The Kāra programming language — compiled via LLVM, with automatic parallelization and WebAssembly support.☆45Updated this week
- Сериализация пользовательских классов OneScript в JSON☆13Aug 26, 2026Updated 2 months ago
- Project Faolan is an Age of Conan server protocol emulator☆18Apr 17, 2023Updated 3 years ago
- An open-source geospatial infrastructure that transforms institutional hyperlinks into a unified spatial index of cultural heritage prove…☆12Updated this week
- ⚡ Ultra-fast, minimalist, and secure cross-platform SSH client written in Rust, powered by the custom EvertyUI vector engine. Features VT…☆17Updated this week
- A node editor component for the Slint UI toolkit☆18Updated this week
- weird psychotherapy-inspired one-shot mutant smb server / even worse idea☆14Feb 8, 2026Updated 8 months ago
- CARI - Common Amateur Radio Interface☆12Oct 10, 2026Updated 3 weeks ago
- Web app for visualization the state of the Penumbra DEX☆11Apr 10, 2025Updated last year
- 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.
- A compiled systems language with comprehensive data manipulation, powerful metaprogramming capabilities, and full C compatibility. Not me…☆23Updated this week
- A Scala testing library for homeworks☆10Aug 17, 2022Updated 4 years ago
- Your TypeScript, compiled to a native executable. Rust-class speed, every core, no runtime.☆13Updated this week
- A Claude Code skill that turns any prompt into a polished, self-contained HTML slide deck — no Keynote or PowerPoint required.☆15May 2, 2026Updated 5 months ago
- ☆12Jun 2, 2023Updated 3 years ago
- The AI agent-native systems programming language: Meaning in. Verified machine code out. All target OS, memory managed through Ownership …☆25Updated this week
- Powerful Python-based metaprogramming for Rust☆14Oct 24, 2026Updated last week
- Greensight Design System☆10Oct 9, 2025Updated last year
- A toy basic compiler playground☆14Feb 1, 2021Updated 5 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Локальная фотогалерея с AI-описанием, распознаванием лиц, кластеризацией персон и семантическим поиском.☆19Sep 5, 2026Updated last month
- Semantic diff for JSON, YAML, CSV, TOML and XML that plugs into git diff and kubectl diff. Ignores key order and formatting, matches arra…☆20Oct 21, 2026Updated last week
- A dashboard for coding agents, self-hosted on one laptop: what Claude Code, Codex and OpenCode did in your projects.☆19Oct 24, 2026Updated last week
- Внешняя компонента websocket-client☆18Aug 16, 2025Updated last year
- Free full-featured web-based audio & waveform editing tool (with AI features)☆17Nov 24, 2025Updated 11 months ago
- Recommend AI coding harness changes from repository context and coding signals, then distribute approved rules, skills, hooks and agents …☆17Oct 22, 2026Updated last week
- 🚧 SysML parser for Rust.☆15Jul 12, 2025Updated last year
- Security-oriented three-axis observability for sandboxed AI agents: model intent, app context, and runtime telemetry into verifiable evid…☆65Updated this week
- [rsasl has moved to Codeberg!] The Rust SASL framework☆17Apr 23, 2026Updated 6 months ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- A process manager written in Rust, and a pm2 alternative: one supervisor daemon keeps a flock of long-running processes alive on Linux, m…☆16Updated this week
- JSON-сериализация в 1С☆10Mar 30, 2021Updated 5 years ago
- Compile-time expression evaluation for Scala 2☆16Jun 15, 2026Updated 4 months ago
- An self-hosted AI platform that talks to your customers for you: it answers in messengers, email and web chat, and hands your team only t…☆22Oct 16, 2026Updated 2 weeks ago
- net-peek is a Go TUI for watching per-remote-IP traffic usage on one network interface or all interfaces.☆18Sep 19, 2026Updated last month
- 🔧 Useless but cool.☆14Mar 13, 2025Updated last year
- Backend modules demo app☆19Oct 7, 2024Updated 2 years ago