for all, home
☆17Nov 2, 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:
- A flexible modeling notation Δ☆15Jul 29, 2026Updated 3 months ago
- ☆15Dec 7, 2022Updated 3 years ago
- Institutional-grade protocol for tokenizing Real-World Assets (RWAs) on Solana. Features: on-chain compliance, KYC/AML verification, and …☆19Nov 4, 2025Updated last year
- Gold draws from Monkey, the language featured in Thorsten Ball's books. While initially following its guidelines, Gold has (slightly) evo…☆10Jun 13, 2024Updated 2 years ago
- A simple Programming Language Compiler to Lambda-Calculus, with a Lambda-Runtime☆14Oct 4, 2026Updated last month
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- [deprecated] Small PHP CLI script for downloading all crypto coin and exchanges logos from CoinGecko. All images are also in the repo an …☆10Aug 13, 2024Updated 2 years ago
- Glide programming language☆22Apr 7, 2023Updated 3 years ago
- [gravinet] is a self-forming full-mesh, encrypted overlay VPN with a distributed control plane and relay fallback.☆12Updated this week
- Create personalized sales videos using generated video content and AI-generated avatars.☆11Sep 28, 2024Updated 2 years ago
- Wisp CLI — Interactive trading platform for backtesting and live trading across spot, perpetual futures, options, and prediction markets☆14Oct 13, 2026Updated 3 weeks ago
- Craccken-linux is a Linux distribution focused on futuristic style. With some exclusive features.☆10Jul 3, 2023Updated 3 years ago
- ☆11Apr 26, 2025Updated last year
- ☆12Feb 16, 2025Updated last year
- A lightweight web browser for desktop application development by JavaScript/html/css (like electron).☆19Jan 6, 2023Updated 3 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- A domain-specific language (DSL) for parsing regular, context-free and recursively enumerable languages.☆20May 22, 2023Updated 3 years ago
- The interface for dit, a universal container file.☆25Mar 20, 2024Updated 2 years ago
- Artificial general intelligence (AGI), or general AI, is a theoretical form of AI where a machine would have an intelligence equaled to h…☆15May 18, 2021Updated 5 years ago
- AI code generator that turns prompts into React apps. Real-time editing with Sandpack, Gemini AI chat, instant deploy. Next.js 15 + React…☆12May 7, 2026Updated 6 months ago
- The best blockchain harness for agentic AI - on-chain execution with runtime, skills, and component library.☆14Updated this week
- Telenova is a brand new self-custodial Polkadot wallet that runs directly in Telegram providing you with a simple and clean user interfac…☆13Jun 24, 2025Updated last year
- Import pi / opencode / codex / claude-code sessions, chat history, and agents into DeepSeek Harness — one-click Sync button, slash comman…☆20Oct 8, 2026Updated 3 weeks ago
- A Rust SDK for Perpetual Futures Distributed Exchanges. Starting with Hyperliquid.☆12Jun 14, 2025Updated last year
- local distributed learning and inference☆14May 27, 2026Updated 5 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.
- AWSKMS-based Solana signer (ED25519) with enterprise-grade security. Sign transactions and messages using keys stored in AWS KMS without …☆13Updated this week
- Minimalistic dependent type theory with syntactic metaprogramming☆61Jun 18, 2024Updated 2 years ago
- Turn Playwright into a live, stateful REST service - recording video, screenshots, and DOM snapshots for every step—so humans and AI agen…☆11Feb 19, 2026Updated 8 months ago
- Terminal session manager for AI coding agents (Claude, Gemini, Aider, OpenCode). Built with Go + Bubble Tea.☆16Sep 25, 2026Updated last month
- Simple repository contribution statistics☆15Updated this week
- An agent that recursively breaks down tasks, writes individual tests and performs the tasks until the tests pass☆13Aug 19, 2024Updated 2 years ago
- A full-stack for indexing DEX trades on Solana using Yellowstone GRPC and Timescale.☆13Feb 4, 2025Updated last year
- An open source alternative of MSPaint.☆25Aug 12, 2024Updated 2 years ago
- An app to compute the coefficients of a function development in a spherical harmonics convergent series.☆20Sep 14, 2022Updated 4 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- a fully customizable ReactJs toasting library that helps you build complex notification in your app.☆18Nov 22, 2022Updated 3 years ago
- A Dockerized platform for AI-driven Twitter bots. Developed with a Spring Boot backend using Spring AI, Scheduling, MongoDB and a Next.js…☆10Jun 3, 2026Updated 5 months ago
- A sub-100 lines, self-aware, independent, somewhat capabable LLM Agent with long term memory☆11Jul 15, 2024Updated 2 years ago
- A Web Blackbox☆15Oct 14, 2026Updated 3 weeks ago
- AI-native MITM proxy — MCP server for traffic interception, recording & replay☆19Updated this week
- An AI-powered tool that transforms long videos into engaging YouTube Shorts, Instagram Reels, and other social media clips with maximum i…☆14Apr 16, 2025Updated last year
- Bliyyaan is an e-commerce platform that enables seamless transactions using Pi Network payments. It offers a smooth and secure shopping e…☆11Feb 18, 2025Updated last year