Search Results for "express" - Page 18
Sort By:
Showing 433 open source projects for "express"
View related business solutions-
Go from Code to Production URL in SecondsSkip the Kubernetes configs. Cloud Run handles HTTPS, scaling, and infrastructure automatically. Two million requests free per month.
-
Our Free Plans just got better! | Auth0You asked, we delivered! Auth0 is excited to expand our Free and Paid plans to include more options so you can focus on building, deploying, and scaling applications without having to worry about your security. Auth0 now, thank yourself later.
-
1
cafetiere
Rule-based information extraction.
UIMA-compliant text analytics using a rule language in which to express context-sensitive constraints on syntactic and semantic text elements. -
2
YetiSim is a C++ discrete-event simulation libraries which utilizes state machines to express simulation logic rather than coroutines. It is capable of parallel execution, and is heavily influenced by Threading Building Blocks.
-
3
Pegatron Utility access almost all the computer hardware, including PCI (PCI Express), I/O Space, CPU, RAM, ACPI etc.
-
4
Fast-paced multiplayer blade fighting 3D game allowing you to express your feelings on your opponents, using martial arts techniques and rapid gestures.
-
Save Up to 91% on Cloud Compute With Spot VMsRun batch jobs at 60-91% off with Spot VMs. Long-running workloads get automatic discounts with sustained use.
-
5
PRDL Tools
Privacy Rule Definition Language to write Enterprise Privacy Policies
...The goal was that PRDL should be sufficiently expressive to define EPPs for SMEs, it should link the wording of the data privacy laws of different European countries, and it should be represented in natural language and therefore should be easy to understand. Additionally it should be able to express the workflows that have to be conducted within the helping wizards. After all, it should be automatically or semi automatically executable by a rule engine. -
6
Unsploitable
Automatically Patch Metasploitable Vulnerabilities
...Unsploitable specifically targets exploits provided by penetration testing frameworks such as Metasploit. Unsploitable is tool for the Metasploit Framework. Unsploitable should work with any MSF product (including: OpenSource, Express, or Pro). -
7
Hy3
Open code agent for Lean 4 proofs and formal software verification
Leanstral 1.5 119B A6B is an open-source code agent model from Mistral AI designed specifically for Lean 4, a proof assistant used to express and verify complex mathematical objects and formal software specifications. Built as part of the Mistral Small 4 family, it combines multimodal capabilities with an efficient Mixture-of-Experts architecture containing 119B total parameters and 6.5B activated per token. The model uses 128 experts with four active for each token and supports a 256K-token context window, making it suitable for extended formal reasoning and large verification tasks. ... -
8
Leanstral 1.5
Open code agent for Lean 4 proofs and formal software verification
Leanstral 1.5 119B A6B is an open-source code agent model from Mistral AI designed specifically for Lean 4, a proof assistant used to express and verify complex mathematical objects and formal software specifications. Built as part of the Mistral Small 4 family, it combines multimodal capabilities with an efficient Mixture-of-Experts architecture containing 119B total parameters and 6.5B activated per token. The model uses 128 experts with four active for each token and supports a 256K-token context window, making it suitable for extended formal reasoning and large verification tasks. ...
