Lunax is a machine learning framework specifically designed for the processing and analysis of tabular data.
☆19Jun 17, 2025Updated last year
Alternatives and similar repositories for lunax
Users that are interested in lunax are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Digtal Signal Processing using Matlab. Author John G. Proakis & Vinay K. Ingle☆11Nov 3, 2019Updated 6 years ago
- Anatomy of a powerhouse: SystemVerilog TPU based on Google TPU v1☆26Nov 9, 2025Updated 11 months ago
- Jupyter notebooks in support of the lecture course '3D7: Finite Element Methods'☆18Jan 25, 2021Updated 5 years ago
- learn mojo☆10May 6, 2026Updated 5 months ago
- benchmark-tools for agent harness☆16Apr 2, 2026Updated 6 months ago
- 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.
- 🐱 Felinic design system☆12Updated this week
- ☆12Feb 26, 2025Updated last year
- simple Elf disassembler☆11Dec 30, 2014Updated 11 years ago
- Experiments with the Mojo 🔥 programming language on macOS arm64 guided by tests☆14Jan 8, 2026Updated 9 months ago
- llama3 in mojo🔥☆12Jul 25, 2024Updated 2 years ago
- 一起学习Rust☆12Jan 19, 2026Updated 9 months ago
- Database Tutorial☆11Oct 2, 2022Updated 4 years ago
- VTable Hijacking Protection for Binaries☆12Feb 28, 2017Updated 9 years ago
- A fast, deterministic, non-cryptographic hash for use in hash tables for Rust☆15Jan 12, 2021Updated 5 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Boolean expression parser☆10Dec 19, 2022Updated 3 years ago
- A web-based Verilog simulator for designing, running, and visualizing RTL code in-browser.☆15Oct 4, 2025Updated last year
- Optimize SGEMM step by step☆10Sep 4, 2024Updated 2 years ago
- A DSL for formal verification of hardware and software systems using Rocq/Coq.☆12Updated this week
- ☆12Updated this week
- ☆13Apr 26, 2025Updated last year
- Korn - C Verification with Loop Invariants and Summaries☆12Updated this week
- Unified Maude model-checking tool☆13Oct 18, 2026Updated last week
- Crashbench is a LLM benchmark to measure bug-finding and reporting capabilities of LLMs☆14Aug 7, 2026Updated 2 months 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.
- Sample radare2 project templates☆17Jan 23, 2026Updated 9 months ago
- Exercises for the Dafny Tutorial☆14May 21, 2018Updated 8 years ago
- A fast sparse triangular solver compatible with SciPy.☆10Oct 10, 2026Updated 2 weeks ago
- Rust interface for cvc5☆17Oct 13, 2026Updated 2 weeks ago
- easter egg is a flexible, high-performance e-graph library with support of multiple additional assumptions at once☆14Mar 27, 2025Updated last year
- Python tools for the K Framework☆13Apr 25, 2024Updated 2 years ago
- Pong in Haskell / Clash, running as software using SDL and as hardware targeting FPGAs☆10Apr 20, 2024Updated 2 years ago
- 一些采用opencv3图像处理库做的一些项目，有检测人脸位置、人脸特效、头顶加LOGO等☆11Oct 31, 2022Updated 3 years ago
- CaDiCaL + neural glue variable predictions☆10Oct 21, 2020Updated 6 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- FPGA synthesis tool powered by equality saturation and program synthesis.☆16Jan 9, 2026Updated 9 months ago
- Applied Mathematics: an Introduction to Scientific Computing by Numerical Analysis☆18Sep 9, 2023Updated 3 years ago
- low-level Capstone system bindings for Rust☆13Feb 15, 2019Updated 7 years ago
- A web IDE for ACL2 using a Kubernetes based backend. Evolution of https://github.com/calebegg/proof-pad-classic☆12Jul 15, 2024Updated 2 years ago
- 【自用】2024 计算机考研复习文档☆11Oct 18, 2023Updated 3 years ago
- 📁 收录了 MathModelAgent 项目运行的结果。MathModelAgent results collected.☆18Apr 3, 2026Updated 6 months ago
- Fuzz testing for Dafny☆12Jul 7, 2022Updated 4 years ago