Bubo, the owl strategist, here to help you to build a fortune. NyxsOwl is an innovative machine learning framework designed to simplify and accelerate the development of AI models. Written in Rust, it offers a robust, high-performance platform for building and deploying scalable machine learning solutions with a focus on efficiency and ease of u…
☆10Jul 8, 2025Updated last year
Alternatives and similar repositories for NyxsOwl
Users that are interested in NyxsOwl are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- OxiDiviner: A production-ready, open-source Rust library for time series analysis and forecasting, especially for financial markets. Feat…☆32Jul 6, 2025Updated last year
- The RusTaLib repository is a Rust-powered machine learning library specializing in the implementation of various technical analysis indic…☆21Jul 4, 2025Updated last year
- A Course in Data Structures & Algorithms, Purposeful Web Engineering, Software Construction☆10Sep 4, 2024Updated 2 years ago
- Network graphs with nodes and edges written in Elm.☆11May 30, 2017Updated 9 years ago
- Dedicated to the brave men and women who gave their lives so we could begin again - Lazarus Missions.☆11Oct 1, 2025Updated last year
- 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.
- The HOL System is an environment for interactive theorem proving in a higher-order logic. Its most outstanding feature is its high degre…☆11Oct 24, 2016Updated 10 years ago
- Volunteer GUN relays☆14Jan 26, 2023Updated 3 years ago
- Mu-FRET adds refactoring functionality to the Formal Requirements Elicitation Tool (FRET). Originally this work was part of the VALU3S pr…☆13Mar 14, 2026Updated 7 months ago
- R Finance packages not listed in the Empirical Finance Task View☆14Aug 1, 2026Updated 2 months ago
- Not My Territory (Yet). A multiplayer game of exploration, construction and simulation.☆13Mar 23, 2021Updated 5 years ago
- Verus-verified implementation of Ironfleet Sharded Hash Table key-value store☆12Sep 22, 2026Updated last month
- Model for provider-neutral financial data, with implementation for IEX☆14Jul 30, 2019Updated 7 years ago
- Elixir SDK for Blockfrost.io☆17Feb 7, 2023Updated 3 years ago
- MOMA is a Rust toolkit for analysing things relative to an origin that moves. Its main use is spirals and helices around a wandering axis…☆12Updated this week
- 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.
- ACE View is a natural language based ontology and rule editor. ACE View uses Attempto Controlled English (ACE) in the front-end, and Web …☆11Dec 16, 2018Updated 7 years ago
- I have no idea what I'm doing , but llm.c in rust☆13Jul 16, 2024Updated 2 years ago
- This cFS app is called Diagnostic Reasoner (DR), and as the name implies, it will diagnose a system of interest. That is, it will do faul…☆12Jul 1, 2020Updated 6 years ago
- llm-powered theorem proving for isabelle/hol☆16Jul 22, 2026Updated 3 months ago
- a Ruby-based bitcoin mining pool☆18Aug 29, 2011Updated 15 years ago
- Tool to select and copy special characters from all installed fonts☆18Oct 14, 2026Updated 2 weeks ago
- An AI IDE secure coding MCP service☆12Nov 3, 2025Updated 11 months ago
- Go tool that runs and verifies the output of go generate☆16Updated this week
- A web page with resources for teaching with formal methods and tools.☆14Apr 8, 2023Updated 3 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Python to Rust compiler☆14Aug 28, 2022Updated 4 years ago
- A toy programming language you use to build other toys☆13May 15, 2025Updated last year
- This repository provides a GitHub Action for running the Kani Rust Verifier in CI.☆14Sep 20, 2026Updated last month
- An experimental desktop client for using Claude Desktop's MCP with Novelcrafter codices.☆11Dec 3, 2024Updated last year
- Verifying the SCION architecture using Gobra☆12Sep 22, 2026Updated last month
- A simple, well-tested, cross-platform Rust crate for Tun/Tap☆24Apr 29, 2023Updated 3 years ago
- ed25519 with bip32☆19Sep 25, 2026Updated last month
- A mathematical approach to the Quantum Fourier Transform and its application to Eigenvalue Estimation☆18Oct 24, 2025Updated last year
- p4 controller in Rust☆12Feb 22, 2021Updated 5 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.
- Save, track and query 3D+time locations of objects in the AtomSpace☆17Apr 3, 2025Updated last year
- An institutional-grade trading journal built for serious traders.☆41Jul 28, 2026Updated 3 months ago
- ☆13Apr 3, 2026Updated 6 months ago
- Curated list of AI tools for sales automation, LinkedIn outreach, cold email, and B2B lead generation.☆22Jun 21, 2025Updated last year
- Script to help convert from scanned PDF to DjVu+OCR. Dependencies: pdfsandwich tesseract pdf2djvu☆12Jun 6, 2020Updated 6 years ago
- Syntax highlighting for SFD files, OpenType features, and FontForge's built-in scripting language.☆13Aug 24, 2026Updated 2 months ago
- Dionysus is a modern SaaS platform that streamlines team collaboration with AI-powered chat, project management, meeting transcripts, and…☆17Oct 27, 2025Updated last year