Search Results for "showeq open source project"
Sort By:
15 projects for "showeq open source project" with 2 filters applied:
-
Auth0 B2B Essentials: SSO, MFA, and RBAC Built InAuth0's B2B Essentials plan gives you everything you need to ship secure multi-tenant apps. Unlimited orgs, enterprise SSO, RBAC, audit log streaming, and higher auth and API limits included. Add on M2M tokens, enterprise MFA, or additional SSO connections as you scale.
-
MongoDB Atlas runs apps anywhereMongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.
-
1
Lean 4
Lean 4 programming language and theorem prover
Lean 4 is both a programming language and an interactive theorem prover, designed to support formal reasoning while also functioning as an efficient and extensible general-purpose language. The project serves researchers, mathematicians, programmers, and formal methods users who need a system for writing machine-checked proofs as well as executable programs in the same environment. One of its defining characteristics is its emphasis on extensibility, since Lean 4 is built to allow users to... -
2
Vercel Zero
The programming language for agents
Zero is an experimental programming language from Vercel Labs designed with AI agents as first-class users. The project explores what a language, tooling system, and standard library might look like if agents need to read, debug, repair, and ship code reliably. It focuses on a small and regular language surface, structured diagnostics, predictable tooling, and machine-readable outputs. Zero is still pre-1 and intentionally unstable, so its syntax and APIs are meant for exploration rather... -
3
Spindle
The language used in the AP CSP Exam, now a programming language!
Spindle is a simple language designed to help AP CSP students ace their AP Exam. Spindle code largely mirrors the code found in the AP CSP Reference Sheet and allows students and teachers to get comfortable with code in the same format it'll have on exam day. -
4
newRPL
The classic RPL programming language reimplemented and reimagined.
This project reimplements from scratch the RPL language made popular by HP programmable calculators, in portable C/C++. The main goal is to release a complete computing environment for various targets. There's currently 4 active targets: the HP 50g, HP39gs and HP40gs calculators and a PC simulator (see the downloads section!). Other ports are planned for the future. -
Ship Agents FasterGemini Enterprise Agent Platform lets you rapidly build, scale, govern and optimize production-ready agents grounded in your organization's data. The platform enables developers to build custom or pre-built agents for virtually any use case. New customers get $300 in free credits.
-
5
ALCHA
A New Programming Language for FPGA Projects
ALCHA aims to reduce FPGA project develop time by means of automation and abstraction, but without loosing the low-level control that HDLs, such as Verilog, provides. It will support an object oriented programming model, abstract data and signal types, and compile-time scripting. -
6
Ring
Simple and flexible programming language for applications development
...The language is portable (MS-DOS, Windows, Linux, macOS, Android, WebAssembly, Microcontrollers, etc.) and can be used to create Console, GUI, Web, Games and Mobile applications. The language is designed to be simple, small and flexible. Ring is distributed as a Free-Open Source project under the MIT License. -
7
Enterprise
The Enterprise™ programming language
Enterprise is a satirical open-source project that humorously critiques corporate software development practices by presenting intentionally overengineered and unnecessarily complex code structures. Rather than aiming to solve a practical technical problem, it serves as a parody of enterprise-grade software, showcasing exaggerated patterns such as excessive abstraction, redundant layers, and convoluted architectures. -
8
Jason is a fully-fledged interpreter for an extended version of AgentSpeak, a BDI agent-oriented logic programming language, and is implemented in Java. Using JADE a multi-agent system can be distributed over a network effortlessly. This project was moved to https://jason-lang.github.io
-
9
OK
Welcome to the future of programming languages
OK? is a modern, dynamically typed programming language created with a strong opinion: to remove needless complexity and help programmers write code that matters. It eliminates many common language features (e.g., ternary operators) in favour of a consistent, minimal syntax: for example it uses only switch statements for control flow and has only one comparison operator. OK? also treats errors as plain values (strings/arrays) and removes inheritance in favour of what it calls “evolution over... -
Full-stack observability with actually useful AI | Grafana CloudBuilt on open standards like Prometheus and OpenTelemetry, Grafana Cloud includes Kubernetes Monitoring, Application Observability, Incident Response, plus the AI-powered Grafana Assistant. Get started with our generous free tier today.
-
10
erlang-bookmarks
All about erlang programming language [powerd by community]
erlang-bookmarks is a curated open-source collection of useful resources for developers working with the Erlang programming language. Rather than being a software library, the repository functions as a community-maintained knowledge hub that aggregates articles, tools, tutorials, and documentation links relevant to Erlang development. The project is intended to help both newcomers and experienced engineers quickly discover high-quality learning materials and ecosystem references. ... -
11
Mega Project List
List of practical projects that anyone can solve in any prog language
Mega Project List by Karan Goel is a massive list of practical programming project ideas that anyone can solve in any programming language, organized into logical categories (Numbers, Classic Algorithms, Data Structures, Text, Networking, Web, Files, Graphics & Multimedia, Security, etc.). The concept is simple but powerful: instead of just memorizing algorithms, you pick a project (for example “Binary to Decimal and Back Converter”), implement it in your favorite language, and gradually... -
12
ArnoldC
Arnold Schwarzenegger based programming language
ArnoldC is a programming language built as a joke language, where the entire syntax is based on quotes from Arnold Schwarzenegger movies. Instead of conventional keywords and operators, it uses memorable movie lines to represent programming constructs like conditionals, loops, and functions. For example, “IT’S SHOWTIME” starts the main method, “TALK TO THE HAND” represents output, and “I’LL BE BACK” denotes a return statement. While humorous in nature, the language is fully functional and... -
13
The cartesian programming language
A functional programming language
Cartesian is a pure functional programming language, wrapped in an imperative and object oriented layer. The main goal is to separate both worlds and to have some very clean and well defined interfaces. This project is the reference implementation of the language, as an interpreter. The interpreter's goal is not performance. -
14
Human Speakable Programming Language
foundation of the General Intelligence Operating System
...Which is an open source operating system, that can be used for intelligent robots, computers and technological host-bodies. Regularly post on blog about HSPL at http://weyounet.info/?s=hspl -
15
This is an interpreted programming language that is designed to teach young children the fundamentals of programming, hiding away from students the complex concepts of programming, such as parentheses, quotes, data types, arrays, while allowing them to understand the basic concepts of programming, and, move to a more advanced language. It also serves as an exapmle on how to create an interpreter with QBASIC. The interpreter is written in QBASIC, and is licensed under the GNU...
- Previous
- You're on page 1
- Next