Search Results for "tomcat apache server"
Sort By:
Showing 2 open source projects for "tomcat apache server"
View related business solutions-
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.
-
Stop Cyber Threats with VM-Series Next-Gen Firewall on AzureGain integrated visibility across all traffic in a single pass. Deploy Palo Alto Networks VM-Series to determine application identity and content while automating security policy updates via rich APIs.
-
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
P* (P-star) is a web programming language. P* targets to incorporate common tasks like template handling and database queries into the language. P* is currently in development, and help is needed with writing new functionality and testing. Functionality P* has by now is MySQL database access with prepared statements, HTML templates, standard arithmetic and variables, functions, structs, (to-be-classes), JSON output, GET and POST. Say hello on the mailing list if you want to...
- Previous
- You're on page 1
- Next
