Search Results for "open assistant"
Sort By:
Showing 3 open source projects for "open assistant"
View related business solutions-
$300 Free Credits to Build on Google CloudPut your $300 in credit toward real workloads, then keep building with free monthly usage for 20+ products. No commitment and no charge until you upgrade.
-
Veeam Data Platform v13.1Try Veeam Data Platform today. Experience the unified platform that's secure by design, portable by default, and proven to recover clean, fast, and anywhere.
-
1
HLM is a proof assistant for everyday mathematics, which is currently being developed. It aims for a user experience as close as possible to regular mathematical practice, and proofs which are understandable by humans with little extra effort.
-
2
Coq4Eclipse is a plugin for the Eclipse Platform that provides an interface to the Coq Proof Assistant. It will support the user with syntax highlighting, search facilities, mathematical symbols, pretty-print, etc.
-
3
Fractal Assistant is a pure Java fractal exploration utility. It is designed to be a user-friendly, highly configurable environment with support for pluggable module files.
- Previous
- You're on page 1
- Next
