High-performance computer algebra system built for humans and AI
☆17Oct 24, 2026Updated this week
Alternatives and similar repositories for alkahest
Users that are interested in alkahest are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A small, highly efficient computer algebra system in written in C99.☆20Updated this week
- Array language benchmarks☆13Jun 30, 2026Updated 3 months ago
- k version 3 Language Interpreter in C#☆16Jul 1, 2026Updated 3 months ago
- Voice control for Herdr☆16Aug 7, 2026Updated 2 months ago
- Self-contained CPU demo of a sparse recurrent Dendritron recipient using frozen representations from a larger pretrained donor.☆23Sep 24, 2026Updated last month
- 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.
- link a linux ELF .so library into memory with python and call functions in it, even if you're not on linux☆13Feb 5, 2020Updated 6 years ago
- The first prototype of the lambda engines scripting language.☆11May 23, 2021Updated 5 years ago
- A GPU accelerated slideshow daemon for Raspberry Pi.☆11Aug 22, 2014Updated 12 years ago
- Rust generator for the X-Castle-Request-Token header minted by Castle's web SDK. Python & JS bindings included.☆23Jun 22, 2026Updated 4 months ago
- CLI tool using ripgrep and treesitter to produce code skeletons for agentic programming☆14Oct 3, 2026Updated 3 weeks ago
- gpu-provisioner is a Karpenter Azure provider implementation. This project is used in Kaito to create a machine which is an Azure nodepoo…☆24Updated this week
- The opened source code of the Picat compiler, interpreter, and library.☆28Updated this week
- 🔐 Tooling to access Puppeteer's internal Isolated World.☆21Feb 8, 2021Updated 5 years ago
- ☆23Jun 21, 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.
- Zoomable architecture diagrams of codebases, analyzed in your browser with Rust and WebAssembly☆70Oct 17, 2026Updated last week
- Configuration management as real code. No more YAML hell.☆16Updated this week
- Gmsh to CalculiX converter (.inp to .inp)☆27Oct 20, 2021Updated 5 years ago
- Renders raspberry pi camera feed to opengl texture.☆16Oct 28, 2013Updated 13 years ago
- Salome universal to CalculiX converter. Converts UNV mesh to the CalculiX INP format.☆27Jan 25, 2023Updated 3 years ago
- Text files containing lists which can be used to generate NPCs☆17Apr 27, 2024Updated 2 years ago
- Integration of drm and MMAL video_decode.☆16Jan 22, 2021Updated 5 years ago
- Experimental ML/AI code☆21Aug 7, 2021Updated 5 years ago
- ClosingStats is an open source "Glassdoor" for sharing anonymized structured financial data.☆19Nov 24, 2024Updated last year
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- Jack's dotfiles☆16Jun 11, 2024Updated 2 years ago
- A complete reimplementation of xv6 operating system (RISC-V) in Zig.☆14Updated this week
- Official repository for "Logically Consistent Language Models via Neuro-Symbolic Integration", accepted at ICLR 2025.☆12Mar 11, 2025Updated last year
- A GPU built from scratch which can render graphics and train ML models☆15Jul 4, 2026Updated 3 months ago
- Open-source visual macro tool with image recognition for desktop automation☆18Sep 30, 2026Updated 3 weeks ago
- ☆14Jan 7, 2024Updated 2 years ago
- my static site blog using pelican☆22Aug 29, 2026Updated 2 months ago
- Agent skills for writing research mathematics in LaTeX and building audited visual companion websites for papers.☆39Updated this week
- ☆14Dec 31, 2013Updated 12 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- A derivative approach to finding your way in BQN☆43Oct 22, 2026Updated last week
- Git/Gerrit Review Interface helps you manage change requests from multiple servers.☆11Oct 19, 2026Updated last week
- ☆14Jun 15, 2026Updated 4 months ago
- Rust support of LLVM☆18Jul 24, 2026Updated 3 months ago
- An AsciiMath parser and converter for .NET☆17Apr 22, 2024Updated 2 years ago
- SageMath integration for Lean4☆15Oct 9, 2026Updated 2 weeks ago
- GPU-accelerated native charting library inspired by Lightweight Charts, built on Vello + wgpu☆19Jul 12, 2026Updated 3 months ago