for all, home
☆16Apr 17, 2026Updated this week
Alternatives and similar repositories for praxis
Users that are interested in praxis are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- symbolic processing experiments☆18Apr 10, 2026Updated last week
- A Modeling Notation ꕤ☆15Mar 3, 2026Updated last month
- Ideas, documents, and tutorial pile for the Prowl Language☆12Aug 2, 2024Updated last year
- The Abstract Programming Language Interface (APLI) is a framework for generating Abstract Syntax Trees (ASTs) to enable developers to cre…☆13Oct 11, 2023Updated 2 years ago
- Programming Language Void☆14Apr 2, 2026Updated 2 weeks 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.
- A interpreted language called CPound!☆12Aug 26, 2024Updated last year
- A portable chromium-base (cef) web browser for html/javascript desktop application development (like electron).☆18Jan 17, 2023Updated 3 years ago
- Find the most starred repositories per line of code in the language of your choice☆12Feb 14, 2024Updated 2 years ago
- A simple Programming Language Compiler to Lambda-Calculus, with a Lambda-Runtime☆13Jun 30, 2023Updated 2 years ago
- Telenova is a brand new self-custodial Polkadot wallet that runs directly in Telegram providing you with a simple and clean user interfac…☆14Jun 24, 2025Updated 9 months ago
- ☆19Sep 5, 2025Updated 7 months ago
- A domain-specific language (DSL) for parsing regular, context-free and recursively enumerable languages.☆19May 22, 2023Updated 2 years ago
- A lightweight web browser for desktop application development by JavaScript/html/css (like electron).☆18Jan 6, 2023Updated 3 years ago
- A powerful Flask-based API providing seamless integration with free AI models (ChatGPT and Grok), featuring robust session management and…☆13Dec 30, 2024Updated last year
- Deploy open-source AI quickly and easily - Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Minimalistic dependent type theory with syntactic metaprogramming☆60Jun 18, 2024Updated last year
- Time-traveling C-like programming language for the Sphinx architecture☆16Apr 16, 2025Updated last year
- Simple state-machine DSL/library for CommonLisp☆12Apr 23, 2025Updated 11 months ago
- TrendSage aims to develop a correlation between stock and cryptocurrency predictions based on the posts or comments on Reddit and the act…☆16Nov 1, 2024Updated last year
- PlasmaNet is a simple and barebones information system modelled closely to the Tim Berners-Lee 1989 World Wide Web.☆16Feb 28, 2025Updated last year
- Craccken-linux is a Linux distribution focused on futuristic style. With some exclusive features.☆10Jul 3, 2023Updated 2 years ago
- An open source alternative of MSPaint.☆24Aug 12, 2024Updated last year
- Wireframe-Based UI Design Search Through Image Autoencoder☆15Jan 3, 2024Updated 2 years ago
- Visual scraper interface, exports to puppeteer script which you can run anywhere.☆20Jan 2, 2026Updated 3 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Decentralized media simulator based on the reporter and witnesses concept. It aims to be an alternative to mass media, surveillance, cens…☆28Dec 4, 2024Updated last year
- An app to compute the coefficients of a function development in a spherical harmonics convergent series.☆19Sep 14, 2022Updated 3 years ago
- P2P self-governance society prototype researching the intersection of moneyless economy, liquid democracy and p2p media.☆28Dec 3, 2024Updated last year
- solana mcp sever to enable solana rpc methods☆24Apr 16, 2025Updated last year
- The Kuljet language☆26Feb 8, 2025Updated last year
- Rust client for dYdX (API v3)☆17Apr 26, 2024Updated last year
- A Go-based cross-exchange arbitrage bot using WebSocket for real-time crypto price discrepancies. Actively in development.☆29Jan 26, 2025Updated last year
- It's like Porth, but in C++. Yep, we're going full circle.☆20Dec 8, 2022Updated 3 years ago
- The Nox programming language☆32Jul 20, 2023Updated 2 years ago
- Serverless GPU API endpoints on Runpod - Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- This is a weather app created with HTML, CSS, and vanilla JavaScript. Users can search for weather conditions of any city using SheCodes …☆18Apr 8, 2024Updated 2 years ago
- csv++ - Spreadsheets as Code☆28Dec 5, 2024Updated last year
- 🫣 Elegant GitHub Profile Visualization, Gain insights into your contributions, expertise, and community engagement with intuitive visual…☆25Mar 1, 2026Updated last month
- ☆19Sep 10, 2025Updated 7 months ago
- The hobbyist's programming language☆24Jun 2, 2023Updated 2 years ago
- TalkiTo lets developers interact with AI systems through speech across multiple channels (terminal, API, phone). It can be used as both a…☆54Feb 5, 2026Updated 2 months ago
- Bridging Large Language Models with Scala 3 Functions☆11Aug 31, 2024Updated last year